diff --git a/ci/fpm-deployment.sh b/ci/fpm-deployment.sh index 1e24ab729..608a2b9be 100644 --- a/ci/fpm-deployment.sh +++ b/ci/fpm-deployment.sh @@ -89,8 +89,10 @@ rm "${prune[@]}" # Capitalize .f90 -> .F90 for preprocessed files for pp_source in "${preprocessed[@]}" -do - mv "$pp_source.f90" "$pp_source.F90" +do + # workaround for case-insensitive fs + mv "$pp_source.f90" "$pp_source.rename" + mv "$pp_source.rename" "$pp_source.F90" done # List stdlib-fpm package contents