diff options
| -rw-r--r-- | gup/abgabe.gup | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gup/abgabe.gup b/gup/abgabe.gup index 629a412..92fade1 100644 --- a/gup/abgabe.gup +++ b/gup/abgabe.gup | |||
| @@ -7,7 +7,14 @@ deps() { | |||
| 7 | sort -u $manifest | awk -v "base=${dir}" '{ print base "/" $0; }' | 7 | sort -u $manifest | awk -v "base=${dir}" '{ print base "/" $0; }' |
| 8 | } | 8 | } |
| 9 | 9 | ||
| 10 | filter() { | ||
| 11 | read -r -d '' script <<'EOF' | ||
| 12 | /\.class$/d | ||
| 13 | EOF | ||
| 14 | sed -r $script | ||
| 15 | } | ||
| 16 | |||
| 10 | gup --update $manifest | 17 | gup --update $manifest |
| 11 | 18 | ||
| 12 | deps | xargs gup --update | 19 | deps | xargs gup --update |
| 13 | { cd $dir; xargs -t -d '\n' -- zip -r $(basename $2) manifest } <${manifest} | 20 | { cd $dir; xargs -d '\n' -- find | filter | xargs -t -d '\n' -- zip $(basename $2) manifest } <${manifest} |
