diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/test-transform-dis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/test-transform-dis.sh b/script/test-transform-dis.sh index 556746b..3a9adf3 100755 --- a/script/test-transform-dis.sh +++ b/script/test-transform-dis.sh @@ -1,6 +1,6 @@ #!/bin/sh set -xe -make out/transform-dis-cases-$1.bin out/test-transform-dis-$1 +make -j8 out/transform-dis-cases-$1.bin out/test-transform-dis-$1 out/test-transform-dis-$1 auto < out/transform-dis-cases-$1.bin |