diff options
Diffstat (limited to 'src/test.sh')
| -rwxr-xr-x | src/test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test.sh b/src/test.sh index 2109112..cc0f620 100755 --- a/src/test.sh +++ b/src/test.sh @@ -1,6 +1,6 @@ #!/bin/sh -opts='--cpus 1 --hash 256m --egtbpath /egtb/three;/egtb/four;/egtb/five' +opts='--cpus 1 --hash 256m --egtbpath /zscratch/egtb' if [ $# -ne 2 ]; then echo "Usage: ${0} <required-test-name> <time>" |