Skip to content

Commit e19d4b6

Browse files
authored
fpm deployment: enable case-insensitive fs (#790)
2 parents 06678c7 + cabf328 commit e19d4b6

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

Diff for: ci/fpm-deployment.sh

+4-2
Original file line numberDiff line numberDiff line change
@@ -89,8 +89,10 @@ rm "${prune[@]}"
8989

9090
# Capitalize .f90 -> .F90 for preprocessed files
9191
for pp_source in "${preprocessed[@]}"
92-
do
93-
mv "$pp_source.f90" "$pp_source.F90"
92+
do
93+
# workaround for case-insensitive fs
94+
mv "$pp_source.f90" "$pp_source.rename"
95+
mv "$pp_source.rename" "$pp_source.F90"
9496
done
9597

9698
# List stdlib-fpm package contents

0 commit comments

Comments
 (0)