rename skip script

diff --git a/run.sh b/run.sh
index 8421540a1b8eef290b5aa1c402b74ad1c1a25734..27225933005edc04ab95731f6a65a266cc8c4cc5 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -147,8 +147,8 @@ check_skip() {
        return 0
     fi
 
-    if [ -e "${tdir}/skipcheck.sh" ]; then
-       if "${tdir}/skipcheck.sh"; then
+    if [ -e "${tdir}/skip.sh" ]; then
+       if /bin/sh "${tdir}/skip.sh"; then
            return 0
        fi
     fi
@@ -181,7 +181,7 @@ check() {
        cd ${prefix}/${t}
        
        if [ -e "check.sh" ]; then
-           if ! ./check.sh; then
+           if ! /bin/sh ./check.sh; then
                exit 1
            fi
        else