From b7828404b0236ed09d2e7c8f6522f679af30e538 Mon Sep 17 00:00:00 2001
From: Julien Bonjean <julien@bonjean.info>
Date: Tue, 23 Jun 2009 10:55:34 -0400
Subject: [PATCH] [#1317] Fixed Mandriva timeout
---
tools/build-system/launch-build-machine.sh | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/tools/build-system/launch-build-machine.sh b/tools/build-system/launch-build-machine.sh
index c9473330c5..33ba1a9fb5 100755
--- a/tools/build-system/launch-build-machine.sh
+++ b/tools/build-system/launch-build-machine.sh
@@ -7,7 +7,7 @@
# Author: Julien Bonjean (julien@bonjean.info)
#
# Creation Date: 2009-04-20
-# Last Modified: 2009-06-09 17:51:40 -0400
+# Last Modified: 2009-06-23 10:31:34 -0400
#####################################################
#
@@ -247,10 +247,10 @@ if [ ${DO_PREPARE} ]; then
echo " Doing commit"
cd ${REPOSITORY_DIR}
- git commit -m "[#1262] Updated debian changelogs (${VERSION})" . >/dev/null
+ git commit -m "[#1262] Updated debian changelogs (${VERSION})" .
echo " Pushing commit"
- git push origin master >/dev/null
+ git push origin master
fi
# change current branch if needed
@@ -317,7 +317,7 @@ if [ ${DO_MAIN_LOOP} ]; then
echo "Not needed, already running"
else
cd ${VBOX_USER_HOME} && VBoxHeadless -startvm "${MACHINE}" -p 50000 &
- if [[ ${MACHINE} =~ "opensuse" ]]; then
+ if [[ ${MACHINE} =~ "opensuse" || ${MACHINE} =~ "mandriva" ]]; then
STARTUP_WAIT=200
fi
echo "Wait ${STARTUP_WAIT} s"
--
GitLab