# HG changeset patch
# User wenzelm
# Date 1248427832 -7200
# Node ID dee62e8af256316c399aff9f9af12912e80a7f6b
# Parent  6ac6819273421b30a5282cf896c24af6279be781
make: keep going by default;

diff -r 6ac681927342 -r dee62e8af256 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Thu Jul 23 23:43:45 2009 +0200
+++ b/Admin/isatest/isatest-makeall	Fri Jul 24 11:30:32 2009 +0200
@@ -47,51 +47,51 @@
 # make file flags and nice setup for different target platforms
 case $HOSTNAME in
     atbroy51)
-        MFLAGS="-j 2"
+        MFLAGS="-k -j 2"
         NICE=""
         ;;
 
     atbroy98)
-        MFLAGS=""
+        MFLAGS="-k"
         NICE=""
         ;;
 
     atbroy31)
-        MFLAGS="-j 2"
+        MFLAGS="-k -j 2"
         ;;
   
     sunbroy2)
-        MFLAGS="-j 6"
+        MFLAGS="-k -j 6"
         NICE="nice"
         ;;
 
     sunbroy1)
-        MFLAGS="-j 2"
+        MFLAGS="-k -j 2"
         NICE="nice"
         ;;
 
     macbroy2)
-        MFLAGS=""
+        MFLAGS="-k"
         NICE=""
         ;;
 
     macbroy5)
-        MFLAGS="-j 2"
+        MFLAGS="-k -j 2"
         NICE=""
         ;;
 
     macbroy23)
-        MFLAGS="-j 2"
+        MFLAGS="-k -j 2"
         NICE="nice"
         ;;
 
     macbroy2[0-9])
-        MFLAGS="-j 2"
+        MFLAGS="-k -j 2"
         NICE=""
         ;;
 
     *)
-        MFLAGS=""
+        MFLAGS="-k"
         # be nice by default
         NICE=nice
         ;;