No need for zsh to run the bench. Uses bench.sh.

2012-05-08 10:06:51 +00:00 · 2012-05-08 10:06:51 +00:00 · aee71bd385
parent d3b4216186
commit aee71bd385
1 changed files with 0 additions and 7 deletions
--- a/alliance/src/documentation/alliance-run/bench.zsh
+++ b/alliance/src/documentation/alliance-run/bench.zsh
@ -1,7 +0,0 @@
 #!/bin/zsh
 true
 while [ $? -eq 0 ]
 do
 make clean && make
 done