diff options
Diffstat (limited to 'gup')
-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} |