Admin/isatest/isatest-makeall
author wenzelm
Wed, 28 Dec 2011 13:08:18 +0100
changeset 46004 484ef66bc3a1
parent 45861 4bb0fc92247b
child 46005 ae721b158a79
permissions -rwxr-xr-x
more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
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
45861
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
    49
TARGETS=all
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
    50
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    51
# 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
    52
case $HOSTNAME in
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    53
    atbroy51)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    54
        MFLAGS="-k -j 2"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    55
        NICE=""
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    56
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    57
24758
53c1a0a46db3 swapped machines for at-sml-dev and at-sml-dev-p
isatest
parents: 24753
diff changeset
    58
    atbroy98)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    59
        MFLAGS="-k"
26369
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    60
        NICE=""
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    61
        ;;
24647
212c9b342a67 move at-sml-dev to 2-processor atbroy100
isatest
parents: 23415
diff changeset
    62
36074
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    63
    atbroy102)
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    64
        MFLAGS="-k"
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    65
        NICE=""
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    66
        ;;
6301046146b6 isatest: basic setup for cygwin-poly on atbroy102;
wenzelm
parents: 33214
diff changeset
    67
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    68
    atbroy31)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    69
        MFLAGS="-k -j 2"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    70
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    71
  
31581
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    72
    macbroy2)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    73
        MFLAGS="-k"
31581
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    74
        NICE=""
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    75
        ;;
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    76
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    77
    macbroy5)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    78
        MFLAGS="-k -j 2"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    79
        NICE=""
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    80
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
    81
44978
a04f3eb3943c isatest settings for macbroy6 (Mac OS X Lion);
wenzelm
parents: 41967
diff changeset
    82
    macbroy6)
a04f3eb3943c isatest settings for macbroy6 (Mac OS X Lion);
wenzelm
parents: 41967
diff changeset
    83
        MFLAGS="-k"
a04f3eb3943c isatest settings for macbroy6 (Mac OS X Lion);
wenzelm
parents: 41967
diff changeset
    84
        NICE=""
a04f3eb3943c isatest settings for macbroy6 (Mac OS X Lion);
wenzelm
parents: 41967
diff changeset
    85
        ;;
a04f3eb3943c isatest settings for macbroy6 (Mac OS X Lion);
wenzelm
parents: 41967
diff changeset
    86
32418
030be5c12d96 avoid macbroy21 for now -- hardware problems;
wenzelm
parents: 32320
diff changeset
    87
    macbroy22)
32320
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    88
        MFLAGS="-k"
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    89
        NICE=""
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    90
        ;;
8175fda90c46 options for more precise performance figures of at-poly, which happens to run on macbroy21;
wenzelm
parents: 32165
diff changeset
    91
37874
954dc0c580bd reactivate SML/NJ test on macbroy28, while macbroy23 is unavailable;
wenzelm
parents: 37160
diff changeset
    92
    macbroy28)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    93
        MFLAGS="-k -j 2"
31581
907616b9536c more isatests;
wenzelm
parents: 31496
diff changeset
    94
        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
    95
        ;;
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
    96
26369
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    97
    macbroy2[0-9])
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
    98
        MFLAGS="-k -j 2"
26369
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
    99
        NICE=""
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
   100
        ;;
01ee1168088b tuned settings for target platforms;
wenzelm
parents: 25912
diff changeset
   101
45861
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
   102
    macbroy30)
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
   103
        MFLAGS="-k"
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
   104
        NICE=""
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
   105
        ;;
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
   106
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   107
    *)
32165
dee62e8af256 make: keep going by default;
wenzelm
parents: 31582
diff changeset
   108
        MFLAGS="-k"
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   109
        # be nice by default
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   110
        NICE=nice
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   111
        ;;
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   112
esac
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   113
28504
7ad7d7d6df47 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
wenzelm
parents: 28500
diff changeset
   114
ISABELLE_TOOL="$DISTPREFIX/Isabelle/bin/isabelle"
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   115
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 26369
diff changeset
   116
[ -x $ISABELLE_TOOL ] || fail "Cannot run $ISABELLE_TOOL"
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   117
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   118
if [ "$1" = "-l" ]; then
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   119
  shift
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   120
  [ "$#" -lt "3" ] && usage
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   121
  LOGIC="$1"
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   122
  TARGETS="$2"
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   123
  shift 2
28500
4b79e5d3d0aa replaced ISATOOL by ISABELLE_TOOL;
wenzelm
parents: 26369
diff changeset
   124
  ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
46004
484ef66bc3a1 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
wenzelm
parents: 45861
diff changeset
   125
  if [ "$LOGIC" = "." ]; then
484ef66bc3a1 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
wenzelm
parents: 45861
diff changeset
   126
    DIR="."
484ef66bc3a1 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
wenzelm
parents: 45861
diff changeset
   127
    TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
484ef66bc3a1 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
wenzelm
parents: 45861
diff changeset
   128
  else
484ef66bc3a1 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
wenzelm
parents: 45861
diff changeset
   129
    DIR="$ISABELLE_HOME/src/$LOGIC"
484ef66bc3a1 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
wenzelm
parents: 45861
diff changeset
   130
    TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
484ef66bc3a1 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
wenzelm
parents: 45861
diff changeset
   131
  fi
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   132
else
24781
fd6d2040f89b fix shell quoting confusion
isatest
parents: 24758
diff changeset
   133
  DIR="."
45861
4bb0fc92247b some full isatest runs, which include benchmark targets;
wenzelm
parents: 44978
diff changeset
   134
  TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
24753
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   135
fi
88e34d7af6e3 accept single logic and target as argument
kleing
parents: 24647
diff changeset
   136
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   137
IDENT=$(cat "$DISTPREFIX/ISABELLE_IDENT")
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   138
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   139
# main test loop
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   140
28597
e76e7b96a517 log start of test session
kleing
parents: 28539
diff changeset
   141
log "starting [$@]"
e76e7b96a517 log start of test session
kleing
parents: 28539
diff changeset
   142
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   143
for SETTINGS in $@; do
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
    [ -r $SETTINGS ] || fail "Cannot read $SETTINGS."
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
    # logfile setup
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   148
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   149
    DATE=$(date "+%Y-%m-%d")
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   150
    SHORT=${SETTINGS##*/}
28527
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   151
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   152
	if [ "${SHORT%-e}" == "$SHORT" ]; then
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   153
		# normal test
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   154
    	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
   155
 	else
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   156
	 	# experimental test
82b36daff4c1 make the test for experimental sessions in isatest-check actually work
kleing
parents: 28504
diff changeset
   157
		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
   158
	fi
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   159
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   160
    # the test
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   161
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   162
    touch $RUNNING/$SHORT.running
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   163
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   164
    echo ------------------- starting test --- `date` --- $HOSTNAME > $TESTLOG 2>&1
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   165
39686
8b9f971ace20 isatest: indicate Isabelle version;
wenzelm
parents: 38434
diff changeset
   166
    echo "Isabelle version: $IDENT" >> $TESTLOG 2>&1
8b9f971ace20 isatest: indicate Isabelle version;
wenzelm
parents: 38434
diff changeset
   167
28982
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   168
    if [ "${ISABELLE_HOME_USER:0:14}" == "/tmp/isabelle-" ]; then
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   169
        echo "--- cleaning up old $ISABELLE_HOME_USER"
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   170
        rm -rf $ISABELLE_HOME_USER
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   171
    fi
75f221d67515 run test for sunbroy2 on /tmp,
kleing
parents: 28597
diff changeset
   172
41967
6aa69999da8f isatest: fresh copy of settings avoids odd cumulative environment;
wenzelm
parents: 39686
diff changeset
   173
    cp $DISTPREFIX/Isabelle/etc/settings.orig $DISTPREFIX/Isabelle/etc/settings
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   174
    cat $SETTINGS >> $DISTPREFIX/Isabelle/etc/settings
24781
fd6d2040f89b fix shell quoting confusion
isatest
parents: 24758
diff changeset
   175
    (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
   176
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   177
    if [ $? -eq 0 ]
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   178
    then
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   179
        # test log and cleanup
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   180
        echo ------------------- test successful --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   181
        if [ -x $PUBLISH_TEST ]; then
32889
c7cd4d3852dd isatest: store test identifiers
krauss
parents: 32505
diff changeset
   182
            $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
   183
        fi
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   184
        gzip -f $TESTLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   185
    else
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   186
        # test log
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   187
        echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1
32505
eb82ed858b84 isatest: collect test results and logs in testdata repository
krauss
parents: 32418
diff changeset
   188
        if [ -x $PUBLISH_TEST ]; then
32889
c7cd4d3852dd isatest: store test identifiers
krauss
parents: 32505
diff changeset
   189
             $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
   190
        fi
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   191
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   192
        # error log
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   193
        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
   194
        echo "[...]" >> $ERRORLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   195
        tail -3 $TESTLOG >> $ERRORLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   196
        echo >> $ERRORLOG
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   197
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   198
        FAIL="$FAIL$SHORT "
38434
7aa0245aeede removed non-BSD compatible option from cp
kleing
parents: 37874
diff changeset
   199
        (cd $ERRORDIR; cp $TESTLOG .)
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   200
    fi
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   201
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   202
    rm -f $RUNNING/$SHORT.running
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   203
done
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   204
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   205
# time and success/failure to master log
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   206
ELAPSED=$("$HOME/bin/showtime" "$SECONDS")
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   207
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   208
if [ -z "$FAIL" ]; then
28539
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as
kleing
parents: 28527
diff changeset
   209
    log "all tests successful, elapsed time $ELAPSED."
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   210
else
28539
bdb308737bfd do logging to MASTERLOG centrally (avoid multiple writers over NFS as
kleing
parents: 28527
diff changeset
   211
    log "targets ${FAIL}FAILED, elapsed time $ELAPSED."
22410
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   212
    exit 1
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   213
fi
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   214
da313b67a04d moved all isatest/cron job related files to own directory
kleing
parents:
diff changeset
   215
# end