changeset 503:3205f4fe859c

sort lists on all OSs equally
author thomask
date Tue, 10 May 2005 23:40:22 +0000
parents a15d15eb3928
children d913fdad80b5
files Makefile
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Tue May 10 23:38:22 2005 +0000
+++ b/Makefile	Tue May 10 23:40:22 2005 +0000
@@ -156,7 +156,7 @@
 #
 nocompile : $(dstress__)
 	rm -f nocompile/*.o nocompile/*.$(ext_nocompile)
-	find nocompile -maxdepth 1 -name "?*.?*" | grep "." | sort | xargs -n 1 echo "$(dstress__) nocompile" > nocompile.sh
+	find nocompile -maxdepth 1 -name "?*.?*" | grep "." | sort --ignore-case | xargs -n 1 echo "$(dstress__) nocompile" > nocompile.sh
 	chmod +x nocompile.sh
 	./nocompile.sh 2>> $(LOG)
 
@@ -182,7 +182,7 @@
 #
 compile : $(dstress__)
 	rm -f compile/*.o compile/*.$(ext_compile)
-	find compile -maxdepth 1 -name "?*.?*" | grep "." | sort | xargs -n 1 echo "$(dstress__) compile" > compile.sh
+	find compile -maxdepth 1 -name "?*.?*" | grep "." | sort --ignore-case | xargs -n 1 echo "$(dstress__) compile" > compile.sh
 	chmod +x compile.sh
 	./compile.sh 2>> $(LOG)
 
@@ -204,7 +204,7 @@
 # 
 run : $(dstress__)
 	rm -f run/*.exe run/*.$(ext_run)
-	find run -maxdepth 1 -name "?*.?*" | grep "." | sort | xargs -n 1 echo "$(dstress__) run" > run.sh
+	find run -maxdepth 1 -name "?*.?*" | grep "." | sort --ignore-case | xargs -n 1 echo "$(dstress__) run" > run.sh
 	chmod +x run.sh
 	./run.sh 2>> $(LOG)
 
@@ -269,7 +269,7 @@
 # 
 norun : $(dstress__)
 	rm -f norun/*.exe norun/*.$(ext_norun)
-	find norun -maxdepth 1 -name "?*.?*" | grep "." | sort | xargs -n 1 echo "$(dstress__) norun" > norun.sh
+	find norun -maxdepth 1 -name "?*.?*" | grep "." | sort --ignore-case | xargs -n 1 echo "$(dstress__) norun" > norun.sh
 	chmod +x norun.sh
 	./norun.sh 2>> $(LOG)