Browse files

Add delays in make_distrib script

  • Loading branch information...
1 parent 9c67317 commit ec1223f35800599efaa438c719341a4729abfbf3 @samueltardieu committed Mar 7, 2010
Showing with 2 additions and 0 deletions.
  1. +2 −0 utils/make_distrib
View
2 utils/make_distrib
@@ -23,8 +23,10 @@ echo Generating ChangeLog
git log --pretty=full > ChangeLog
echo Generating auto-generated files
autoreconf --verbose --install --force
+sleep 1
echo Configuring
./configure
+sleep 1
echo Extracting the version
newdir=`make version`
echo Version is $newdir

0 comments on commit ec1223f

Please sign in to comment.