diff options
| -rw-r--r-- | gup/abgabe.gup | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gup/abgabe.gup b/gup/abgabe.gup index 925a25d..693b8b8 100644 --- a/gup/abgabe.gup +++ b/gup/abgabe.gup | |||
| @@ -4,7 +4,7 @@ dir=$(dirname $2) | |||
| 4 | manifest=${dir}/manifest | 4 | manifest=${dir}/manifest |
| 5 | 5 | ||
| 6 | deps() { | 6 | deps() { |
| 7 | sort -u $manifest | awk -v "base=${dir}" '{ print base "/" $0; }' | xargs -d '\n' -- find | filter | 7 | sort -u $manifest | awk -v "base=${dir}" '{ print base "/" $0; }' | xargs -d '\n' -I '{}' -- /usr/bin/env zsh -c "find '{}' 2>/dev/null || print '{}'" | filter |
| 8 | } | 8 | } |
| 9 | 9 | ||
| 10 | filter() { | 10 | filter() { |
