Admin/isatest/isatest-makeall
author haftmann
Thu, 18 Nov 2010 17:01:15 +0100
changeset 40602 91e583511113
parent 39686 8b9f971ace20
child 41967 6aa69999da8f
permissions -rwxr-xr-x
map_fun combinator in theory Fun
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     1
#!/usr/bin/env bash
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     2
#
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     3
# Author: Gerwin Klein, TU Muenchen
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     4
#
28504
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents: 28500
diff changeset
     5
# DESCRIPTION: Run isabelle makeall from specified distribution and settings.
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     6
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     7
## global settings
22411
1956d895a4ed adjust paths
kleing
parents: 22410
diff changeset
     8
. ~/admin/isatest/isatest-settings
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
     9
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    10
# max time until test is aborted (in sec)
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    11
MAXTIME=28800
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    12
36133
1d199975ebf9 adapted PUBLISH_TEST for atbroy102, which only mounts /home/isatest;
wenzelm
parents: 36074
diff changeset
    13
PUBLISH_TEST="$HOME/home/isabelle-repository/repos/testtool/publish_test.py"
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
    14
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    15
## diagnostics
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    16
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    17
PRG="$(basename "$0")"
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    18
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    19
function usage()
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    20
{
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    21
  echo
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
    22
  echo "Usage: $PRG [-l logic targets] settings1 [settings2 ...]"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    23
  echo
28504
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents: 28500
diff changeset
    24
  echo "  Runs isabelle makeall for specified settings."
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    25
  echo "  Leaves messages in ${ERRORLOG} and ${LOGPREFIX} if it fails."
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    26
  echo
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
    27
  echo "Examples:"
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
    28
  echo "  $PRG ~/settings/at-poly ~/settings/at-sml"
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
    29
  echo "  $PRG -l HOL \"HOL-Library HOL-Bali\" ~/settings/at-poly"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    30
  exit 1
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    31
}
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    32
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    33
function fail()
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    34
{
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    35
  echo "$1" >&2
28539
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as
kleing
parents: 28527
diff changeset
    36
  log "FAILED, $1"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    37
  exit 2
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    38
}
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    39
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    40
## main
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    41
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    42
# argument checking
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    43
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    44
[ "$1" = "-?" ] && usage
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    45
[ "$#" -lt "1" ] && usage
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    46
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    47
[ -d $DISTPREFIX ] || fail "$DISTPREFIX is not a directory."
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    48
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    49
# make file flags and nice setup for different target platforms
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    50
case $HOSTNAME in
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    51
    atbroy51)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    52
        MFLAGS="-k -j 2"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    53
        NICE=""
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    54
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    55
24758
53c1a0a46db3 swapped machines for at-sml-dev and at-sml-dev-p
isatest
parents: 24753
diff changeset
    56
    atbroy98)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    57
        MFLAGS="-k"
26369
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    58
        NICE=""
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    59
        ;;
24647
212c9b342a67 move at-sml-dev to 2-processor atbroy100
isatest
parents: 23415
diff changeset
    60
36074
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    61
    atbroy102)
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    62
        MFLAGS="-k"
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    63
        NICE=""
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    64
        ;;
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    65
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    66
    atbroy31)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    67
        MFLAGS="-k -j 2"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    68
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    69
  
31581
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    70
    macbroy2)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    71
        MFLAGS="-k"
31581
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    72
        NICE=""
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    73
        ;;
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    74
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    75
    macbroy5)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    76
        MFLAGS="-k -j 2"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    77
        NICE=""
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    78
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    79
32418
030be5c12d96 avoid macbroy21 for now -- hardware problems;
wenzelm
parents: 32320
diff changeset
    80
    macbroy22)
32320
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    81
        MFLAGS="-k"
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    82
        NICE=""
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    83
        ;;
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    84
37874
954dc0c580bd reactivate SML/NJ test on macbroy28, while macbroy23 is unavailable;
wenzelm
parents: 37160
diff changeset
    85
    macbroy28)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    86
        MFLAGS="-k -j 2"
31581
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    87
        NICE="nice"
31496
c4b74075fc17 no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources;
wenzelm
parents: 28982
diff changeset
    88
        ;;
c4b74075fc17 no parallel make jobs on macbroy23, which is the machine where SML/XL is tested -- attempt to consume less resources;
wenzelm
parents: 28982
diff changeset
    89
26369
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    90
    macbroy2[0-9])
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    91
        MFLAGS="-k -j 2"
26369
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    92
        NICE=""
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    93
        ;;
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    94
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    95
    *)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    96
        MFLAGS="-k"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    97
        # be nice by default
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    98
        NICE=nice
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    99
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   100
esac
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   101
28504
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents: 28500
diff changeset
   102
ISABELLE_TOOL="$DISTPREFIX/Isabelle/bin/isabelle"
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   103
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 26369
diff changeset
   104
[ -x $ISABELLE_TOOL ] || fail "Cannot run $ISABELLE_TOOL"
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   105
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   106
if [ "$1" = "-l" ]; then
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   107
  shift
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   108
  [ "$#" -lt "3" ] && usage
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   109
  LOGIC="$1"
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   110
  TARGETS="$2"
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   111
  shift 2
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 26369
diff changeset
   112
  ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
24786
56b8b2cfa08e fixed dir in single-logic test
isatest
parents: 24781
diff changeset
   113
  DIR="$ISABELLE_HOME/src/$LOGIC"
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 26369
diff changeset
   114
  TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   115
else
24781
fd6d2040f89b fix shell quoting confusion
isatest
parents: 24758
diff changeset
   116
  DIR="."
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 26369
diff changeset
   117
  TOOL="$ISABELLE_TOOL makeall $MFLAGS all"
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   118
fi
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   119
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   120
IDENT=$(cat "$DISTPREFIX/ISABELLE_IDENT")
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   121
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   122
# main test loop
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   123
28597
e76e7b96a517 log start of test session
kleing
parents: 28539
diff changeset
   124
log "starting [$@]"
e76e7b96a517 log start of test session
kleing
parents: 28539
diff changeset
   125
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   126
for SETTINGS in $@; do
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   127
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   128
    [ -r $SETTINGS ] || fail "Cannot read $SETTINGS."
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   129
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   130
    # logfile setup
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   131
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   132
    DATE=$(date "+%Y-%m-%d")
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   133
    SHORT=${SETTINGS##*/}
28527
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   134
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   135
	if [ "${SHORT%-e}" == "$SHORT" ]; then
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   136
		# normal test
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   137
    	TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME.log
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   138
 	else
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   139
	 	# experimental test
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   140
		TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME-e.log
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   141
	fi
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   142
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   143
    # the test
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   144
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   145
    touch $RUNNING/$SHORT.running
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   146
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   147
    echo ------------------- starting test --- `date` --- $HOSTNAME > $TESTLOG 2>&1
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   148
39686
8b9f971ace20 isatest: indicate Isabelle version;
wenzelm
parents: 38434
diff changeset
   149
    echo "Isabelle version: $IDENT" >> $TESTLOG 2>&1
8b9f971ace20 isatest: indicate Isabelle version;
wenzelm
parents: 38434
diff changeset
   150
28982
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   151
    if [ "${ISABELLE_HOME_USER:0:14}" == "/tmp/isabelle-" ]; then
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   152
        echo "--- cleaning up old $ISABELLE_HOME_USER"
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   153
        rm -rf $ISABELLE_HOME_USER
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   154
    fi
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   155
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   156
    cat $SETTINGS >> $DISTPREFIX/Isabelle/etc/settings
24781
fd6d2040f89b fix shell quoting confusion
isatest
parents: 24758
diff changeset
   157
    (ulimit -t $MAXTIME; cd $DIR; $NICE $TOOL >> $TESTLOG 2>&1)
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   158
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   159
    if [ $? -eq 0 ]
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   160
    then
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   161
        # test log and cleanup
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   162
        echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   163
        if [ -x $PUBLISH_TEST ]; then
32889
c7cd4d3852dd isatest: store test identifiers
krauss
parents: 32505
diff changeset
   164
            $PUBLISH_TEST -r $IDENT -s "SUCCESS" -a log $TESTLOG -n Makeall_isatest_$SHORT
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   165
        fi
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   166
        gzip -f $TESTLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   167
    else
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   168
        # test log
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   169
        echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   170
        if [ -x $PUBLISH_TEST ]; then
32889
c7cd4d3852dd isatest: store test identifiers
krauss
parents: 32505
diff changeset
   171
             $PUBLISH_TEST -r $IDENT -s "FAIL" -a log $TESTLOG -n Makeall_isatest_$SHORT
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   172
        fi
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   173
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   174
        # error log
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   175
        echo "Test for platform ${SHORT} failed. Log file attached." >> $ERRORLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   176
        echo "[...]" >> $ERRORLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   177
        tail -3 $TESTLOG >> $ERRORLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   178
        echo >> $ERRORLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   179
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   180
        FAIL="$FAIL$SHORT "
38434
7aa0245aeede removed non-BSD compatible option from cp
kleing
parents: 37874
diff changeset
   181
        (cd $ERRORDIR; cp $TESTLOG .)
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   182
    fi
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   183
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   184
    rm -f $RUNNING/$SHORT.running
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   185
done
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   186
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   187
# time and success/failure to master log
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   188
ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   189
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   190
if [ -z "$FAIL" ]; then
28539
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as
kleing
parents: 28527
diff changeset
   191
    log "all tests successful, elapsed time $ELAPSED."
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   192
else
28539
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as
kleing
parents: 28527
diff changeset
   193
    log "targets ${FAIL}FAILED, elapsed time $ELAPSED."
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   194
    exit 1
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   195
fi
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   196
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   197
# end