diff options
| author | levine <levine@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1998-03-07 04:11:23 +0000 |
|---|---|---|
| committer | levine <levine@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1998-03-07 04:11:23 +0000 |
| commit | c5134e2d6ce0af106c678a84888a6d80b71bc77c (patch) | |
| tree | 5963502cfb29f85c59f40df66ef804438732371b /tests | |
| parent | 58505a637401bf9e678f0f29e01a2502e1fc3b2a (diff) | |
| download | ATCD-c5134e2d6ce0af106c678a84888a6d80b71bc77c.tar.gz | |
check for $chorus not being set as a string, not an integer
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/run_tests.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index 25823245835..e133fc41345 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests.sh @@ -22,6 +22,7 @@ tmp=/tmp #### target= run_command= +chorus= if [ $# -eq 1 ]; then target=$1 if rsh $target help | head -1 | egrep CHORUS/ClassiX > /dev/null; then @@ -41,7 +42,7 @@ run() echo running $1 /bin/rm -f core log/$1.log - if [ "$chorus" -eq 1 ]; then + if [ "$chorus" ]; then #### Assumes that the PATH has been set on the target. rsh $target $run_command $1 else |