diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2015-12-15 10:54:37 +0100 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2015-12-15 10:54:37 +0100 |
commit | 872eb7d0094185271b3666cb93803f1f74f038bf (patch) | |
tree | 7ab563bd6734272b831c85cba157432da0766c11 | |
parent | ca25e7179c2bae96442d44dc81bc6c6cd4b23a12 (diff) | |
download | uni-872eb7d0094185271b3666cb93803f1f74f038bf.tar uni-872eb7d0094185271b3666cb93803f1f74f038bf.tar.gz uni-872eb7d0094185271b3666cb93803f1f74f038bf.tar.bz2 uni-872eb7d0094185271b3666cb93803f1f74f038bf.tar.xz uni-872eb7d0094185271b3666cb93803f1f74f038bf.zip |
handling for nonexistant files
-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() { |