From aee71bd385fac8a628208f1466a7b18838df6e02 Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Tue, 8 May 2012 10:06:51 +0000
Subject: [PATCH] No need for zsh to run the bench. Uses bench.sh.

---
 alliance/src/documentation/alliance-run/bench.zsh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 alliance/src/documentation/alliance-run/bench.zsh

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