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
This commit is contained in:
parent
22c6962aa2
commit
c2e63fce73
1 changed files with 0 additions and 3 deletions
|
|
@ -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
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue