From 52b29440f8f1310e0c074c8eb409e433c56bdd62 Mon Sep 17 00:00:00 2001 From: Teddy Date: Wed, 7 May 2014 03:17:32 +0800 Subject: rename --- run.sh | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100755 run.sh (limited to 'run.sh') diff --git a/run.sh b/run.sh deleted file mode 100755 index a3f67c3..0000000 --- a/run.sh +++ /dev/null @@ -1,18 +0,0 @@ -#! /bin/bash -cp cibic testbed/ -cp lib.s testbed/ -cd testbed/ -for f in *.c -do - echo $f - ./cibic $f > mips.s 2> /dev/null - gcc $f -m32 -std=c99 2> /dev/null - ./spim -stat -file mips.s > out - ./a.out > std - diff std out - if [[ "$?" != 0 ]]; then - echo "Wrong Answer!" - break; - fi -done -echo "OK." -- cgit v1.2.3-70-g09d2