author | wenzelm |
Thu, 17 Apr 1997 10:30:57 +0200 | |
changeset 2968 | 8ba30b031f31 |
parent 2936 | bd33e7aae062 |
child 3007 | e5efa177ee0c |
permissions | -rwxr-xr-x |
1 #!/bin/bash -norc
2 #
3 # $Id$
4 #
5 # DESCRIPTION: collect heap names from ISABELLE_PATH
8 PRG=$(basename $0)
10 function usage()
11 {
12 echo
13 echo "Usage: $PRG"
14 echo
15 echo " Collect heap file names from ISABELLE_PATH."
16 echo
17 exit 1
18 }
21 ## main
23 [ $# -ne 0 ] && usage
26 LOGICS=""
28 for DIR in $(echo $ISABELLE_PATH | tr : " ")
29 do
30 for FILE in $DIR/*
31 do
32 if [ -f "$FILE" ]; then
33 NAME=$(basename "$FILE")
34 LOGICS="$LOGICS $NAME"
35 fi
36 done
37 done
39 echo $({ for L in $LOGICS; do echo $L; done; } | sort | uniq)