diff options
Diffstat (limited to 'test/mppa/generate.sh')
| -rw-r--r-- | test/mppa/generate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mppa/generate.sh b/test/mppa/generate.sh index 765128d4..a883b8f5 100644 --- a/test/mppa/generate.sh +++ b/test/mppa/generate.sh @@ -13,5 +13,5 @@ mkdir -p $(dirname $writefile) #sed -n "s/^.*\/\*\s*RETURN VALUE:\s*\([0-9]*\)\s*\*\//\1/p" $1 > $2 tmpbin=/tmp/k1-$(basename $1)-bin -k1-gcc -O0 $1 -o $tmpbin +k1-mbr-gcc -O0 $1 -o $tmpbin (k1-cluster -- $tmpbin; echo $? > $2) |