fixed a small problem in my new utils/clean_listings_specfem.pl: file…

… permissions were erased
cenjinzhiyu · Jan 22, 2015 · 03bb77c · 03bb77c
1 parent 151942b
commit 03bb77c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/utils/clean_listings_specfem.pl b/utils/clean_listings_specfem.pl
@@ -184,9 +184,10 @@
             chop $name;
             print STDOUT "Cleaning $name ...\n";
 
-            system("iconv -f utf-8 -t ASCII//TRANSLIT $name -o _____temp08_____ ; mv _____temp08_____ $name");
+# this preserves file permissions of executable files
+            system("cp -p $name _____temp08_____ ; iconv -f utf-8 -t ASCII//TRANSLIT _____temp08_____ -o _____temp09_____ ; cp _____temp09_____ $name");
 
       }
 
-            system("rm -f _____temp08_____");
+            system("rm -f _____temp08_____ _____temp09_____");