| changeset 10546 | e79347eebbc5 |
| parent 8725 | 8c1e3dd5fe1b |
| child 13873 | 7b72e3873785 |
| 10545:fec876499aae | 10546:e79347eebbc5 |
|---|---|
74 while [ ! -s $tmp ] ; do |
74 while [ ! -s $tmp ] ; do |
75 # Kludge alert! |
75 # Kludge alert! |
76 sleep 2 |
76 sleep 2 |
77 done |
77 done |
78 |
78 |
79 $jdk/bin/java -showversion ${OPTIONS} -classpath $javacp SASanityChecker $pid |
79 $jdk/bin/java -showversion ${OPTIONS} -classpath $javacp $* SASanityChecker $pid |
80 kill -9 $pid |
80 kill -9 $pid |