diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/test-transform-dis.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/script/test-transform-dis.sh b/script/test-transform-dis.sh index 3a9adf3..0b45fd2 100755 --- a/script/test-transform-dis.sh +++ b/script/test-transform-dis.sh @@ -1,6 +1,12 @@ #!/bin/sh set -xe -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 +barch="$1" +is_thumb=0 +if [ "$1" = "thumb" ]; then + barch=arm + is_thumb=1 +fi +make -j8 out/transform-dis-cases-$1.bin out/test-transform-dis-"$barch" +out/test-transform-dis-"$barch" auto "$is_thumb" < out/transform-dis-cases-$1.bin |