From cabf328673ea5fbfe5e53afe8a0d03c41e35ca26 Mon Sep 17 00:00:00 2001
From: Federico Perini <federico.perini@gmail.com>
Date: Tue, 9 Apr 2024 08:57:02 +0200
Subject: [PATCH] Workaround for case-insensitive fs

---
 ci/fpm-deployment.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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