changeset 2591 | ae16f162f973 |
parent 2333 | f1159f38ba4f |
child 2936 | bd33e7aae062 |
2590:363b2c37a1b9 | 2591:ae16f162f973 |
---|---|
21 ## main |
21 ## main |
22 |
22 |
23 [ $# -ne 0 ] && usage |
23 [ $# -ne 0 ] && usage |
24 |
24 |
25 |
25 |
26 . $ISABELLE_HOME/lib/scripts/getplatform |
|
27 |
|
28 LOGICS="" |
26 LOGICS="" |
29 |
27 |
30 for DIR in $(echo $ISABELLE_PATH | tr : " ") |
28 for DIR in $(echo $ISABELLE_PATH | tr : " ") |
31 do |
29 do |
32 for FILE in $DIR/$ML_SYSTEM-$PLATFORM/* |
30 for FILE in $DIR/$ML_SYSTEM-$PLATFORM/* |