From c2e63fce73bc41522046567bbe67af22196ad9a1 Mon Sep 17 00:00:00 2001
From: dolphin-test <dolphin-test@331e1502-861f-0410-8da2-ba01fb791d7f>
Date: Mon, 25 Feb 2008 16:10:24 +0000
Subject: [PATCH] removed sleeping delay, replaced it by a good cron

git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@1003 331e1502-861f-0410-8da2-ba01fb791d7f
---
 utilities/trunk/scripts/paradiseo_continuous_build.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/utilities/trunk/scripts/paradiseo_continuous_build.sh b/utilities/trunk/scripts/paradiseo_continuous_build.sh
index 548209ebd..2799144e3 100755
--- a/utilities/trunk/scripts/paradiseo_continuous_build.sh
+++ b/utilities/trunk/scripts/paradiseo_continuous_build.sh
@@ -15,8 +15,6 @@ PEO_BUILD_TYPE=Debug
 
 GENERATOR_LIST="Unix_Makefiles KDevelop3"
 
-SLEEP_TIME=5400
-
 # export the ssh-agent variables
 export SSH_AUTH_SOCK=/tmp/ssh-NFkaL18206/agent.18206
 export SSH_AGENT_PID=18207
@@ -87,6 +85,5 @@ do
 		echo "*** END Generator=$gen" >> $SPY
 	done
 
-	sleep $SLEEP_TIME
 done