diff options
| -rwxr-xr-x | extract-distro.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extract-distro.sh b/extract-distro.sh index 8312fe3..9f0c1ab 100755 --- a/extract-distro.sh +++ b/extract-distro.sh @@ -8,7 +8,8 @@ here=`pwd` df -h . -find "$@" \( -name debug -o -name Debuginfo \) -print -prune | ( +find "$@" \( -name debug -o -name Debuginfo \) -print -prune -o \ + \( -name os -prune \) | ( echo 'all: \' sed 's,^.*$,do/@& \\,' echo |