| changeset 7277 | bb9502f9154a |
| parent 4456 | 44e57a6d947d |
| child 9788 | df671fa2562a |
| 7276:7a2008de228d | 7277:bb9502f9154a |
|---|---|
28 |
28 |
29 [ "$1" = "-?" ] && usage |
29 [ "$1" = "-?" ] && usage |
30 |
30 |
31 |
31 |
32 SECONDS=0 |
32 SECONDS=0 |
33 echo -n "Started at "; date |
33 DATE=$(date) |
34 HOST=$(hostname) |
|
35 echo "Started at $DATE ($HOST)" |
|
34 |
36 |
35 for L in $ALL_LOGICS |
37 for L in $ALL_LOGICS |
36 do |
38 do |
37 ( cd $ISABELLE_HOME/src/$L; $ISATOOL make "$@" ) |
39 ( cd $ISABELLE_HOME/src/$L; $ISATOOL make "$@" ) |
38 done |
40 done |