Changeset 344 for trunk/test


Ignore:
Timestamp:
Jun 1, 2011, 6:48:58 PM (13 years ago)
Author:
katerina
Message:

Fix test script for prelude.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/test/testcompile.sh

    r342 r344  
    203203testmake ()
    204204{
     205
    205206        fail=0
    206207        #
     
    691692        if [ -z "$doall" ]; then
    692693            let "num = num + 1" >/dev/null
    693             [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST";
    694             let "num = num + 1" >/dev/null
    695             [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (smatch)";
    696             let "num = num + 1" >/dev/null
    697             [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (uno)";
    698 
    699             let "num = num + 1" >/dev/null
    700             [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST";
    701             let "num = num + 1" >/dev/null
    702             [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (smatch)";
    703             let "num = num + 1" >/dev/null
    704             [ -z "$quiet" ] && log_skip $2 ${MAXTEST} "$TEST (uno)";
     694            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST";
     695            let "num = num + 1" >/dev/null
     696            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (smatch)";
     697            let "num = num + 1" >/dev/null
     698            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (uno)";
     699
     700            let "num = num + 1" >/dev/null
     701            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST";
     702            let "num = num + 1" >/dev/null
     703            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (smatch)";
     704            let "num = num + 1" >/dev/null
     705            [ -z "$quiet" ] && log_skip $num ${MAXTEST} "$TEST (uno)";
    705706        else
    706707            if test -r "Makefile"; then
Note: See TracChangeset for help on using the changeset viewer.