summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xCIS/gen-lys8
1 files changed, 3 insertions, 5 deletions
diff --git a/CIS/gen-lys b/CIS/gen-lys
index 85c7653..b5efb98 100755
--- a/CIS/gen-lys
+++ b/CIS/gen-lys
@@ -2,10 +2,6 @@
cd "$(dirname "$(readlink -e "$0")")"
-for s in *.cap *.capx *.xml *.mxl; do
- timeout 10 make "${s%.*}.ly"
-done
-
masterMakefile=$(
ls -l ../*/Makefile \
| sort -k2n,2 \
@@ -13,7 +9,8 @@ masterMakefile=$(
| sed 's@^.* @@'
)
-for s in *.ly; do
+for s in *.cap *.capx *.xml *.mxl; do
+ s="${s%.*}.ly"
d="../$(
echo "$s" \
| sed '
@@ -30,6 +27,7 @@ for s in *.ly; do
'
)"
[ -d "$d" ] && continue
+ timeout 10 make "$s" || continue
mkdir "$d"
mv "$s" "$d"
ln "${masterMakefile}" "$d"