diff --git a/alliance/src/documentation/alliance-run/bench.zsh b/alliance/src/documentation/alliance-run/bench.zsh deleted file mode 100755 index bb681520..00000000 --- a/alliance/src/documentation/alliance-run/bench.zsh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/zsh - -true -while [ $? -eq 0 ] -do -make clean && make -done