| changeset 17792 | 4a34fd6884b1 |
| parent 14981 | e73f8140af78 |
| child 27201 | e0323036bcf2 |
| 17791:f4453001cbde | 17792:4a34fd6884b1 |
|---|---|
32 do |
32 do |
33 DIR="$DIR/$ML_IDENTIFIER" |
33 DIR="$DIR/$ML_IDENTIFIER" |
34 for FILE in "$DIR"/* |
34 for FILE in "$DIR"/* |
35 do |
35 do |
36 if [ -f "$FILE" ]; then |
36 if [ -f "$FILE" ]; then |
37 NAME=$(basename "$FILE") |
37 NAME=$(basename "$FILE" "$ML_SUFFIX") |
38 LOGICS="$LOGICS $NAME" |
38 LOGICS="$LOGICS $NAME" |
39 fi |
39 fi |
40 done |
40 done |
41 done |
41 done |
42 IFS="$ORIG_IFS" |
42 IFS="$ORIG_IFS" |