global default for session timeout;

--- a/Admin/isatest/isatest-makeall	Mon Nov 19 22:34:17 2012 +0100
+++ b/Admin/isatest/isatest-makeall	Tue Nov 20 13:27:24 2012 +0100
@@ -47,7 +47,7 @@
 [ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory."
 
 # build args and nice setup for different target platforms
-BUILD_ARGS="-v"
+BUILD_ARGS="-v -o timeout=3600"
 NICE="nice"
 case $HOSTNAME in
     macbroy2 | macbroy6 | macbroy30)