59         exit 1
  60     fi
  61 fi
  62 
  63 if [ sagtarg.java -nt ./workdir/sagtarg.class ]; then
  64     $jdk/bin/javac -g  -classpath -d $workdir sagtarg.java
  65     if [ $? != 0 ] ; then
  66         exit 1
  67     fi
  68 fi
  69 
  70 tmp=/tmp/sagsetup
  71 rm -f $tmp
  72 $jdk/bin/java $* sagtarg > $tmp &
  73 pid=$!
  74 while [ ! -s $tmp ] ; do
  75   # Kludge alert!
  76   sleep 2
  77 done
  78 
  79 $jdk/bin/java -showversion ${OPTIONS} -classpath $javacp SASanityChecker $pid
  80 kill -9 $pid

  59         exit 1
  60     fi
  61 fi
  62 
  63 if [ sagtarg.java -nt ./workdir/sagtarg.class ]; then
  64     $jdk/bin/javac -g  -classpath -d $workdir sagtarg.java
  65     if [ $? != 0 ] ; then
  66         exit 1
  67     fi
  68 fi
  69 
  70 tmp=/tmp/sagsetup
  71 rm -f $tmp
  72 $jdk/bin/java $* sagtarg > $tmp &
  73 pid=$!
  74 while [ ! -s $tmp ] ; do
  75   # Kludge alert!
  76   sleep 2
  77 done
  78 
  79 $jdk/bin/java -showversion ${OPTIONS} -classpath $javacp $* SASanityChecker $pid
  80 kill -9 $pid