diff options
author | Gabriele Giacone <1o5g4r8o@gmail.com> | 2014-03-16 18:08:01 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-04-06 18:21:19 +0200 |
commit | a6f31930dc189a070b9ce31f1fd2e14375841a43 (patch) | |
tree | f5a5767207874b0630910edbb8b22ef3b131fc82 /bin/g-i-installation.sh | |
parent | 2d5d1845957e807ed1bcdedd6c177e2120d02663 (diff) | |
download | jenkins.debian.net-a6f31930dc189a070b9ce31f1fd2e14375841a43.tar.xz |
Add monitor_system hurd case. Timeout 3000.
Diffstat (limited to 'bin/g-i-installation.sh')
-rwxr-xr-x | bin/g-i-installation.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/g-i-installation.sh b/bin/g-i-installation.sh index 424788eb..9507024d 100755 --- a/bin/g-i-installation.sh +++ b/bin/g-i-installation.sh @@ -996,6 +996,8 @@ set +x case $NAME in *_rescue*) monitor_system rescue ;; + *_hurd*) monitor_system install wait4match 3000 + ;; debian-edu_*combi-server) monitor_system install wait4match 3000 ;; *) monitor_system install wait4match |