diff options
author | Daniel Friesel <derf@derf.homelinux.org> | 2008-06-08 14:22:04 +0200 |
---|---|---|
committer | Daniel Friesel <derf@derf.homelinux.org> | 2008-06-08 14:22:04 +0200 |
commit | 0acdc5c3505af77752e409c37630ec23b07a17c2 (patch) | |
tree | e43184b3d682cda00a24a0487d2156c5dd7b2a6e | |
parent | 7fee6b9cda9ca1cb5fc32946c8377c4b1bef958b (diff) |
bin/pkg: Actually check for sed
-rwxr-xr-x | bin/pkg | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -50,11 +50,10 @@ export PKG_ROOT ## Warn otherwise ## -check_sed () { - QUUX=$(echo foox | sed -r 's/^fo{2}(.)$/quu\1/' 2> /dev/null) - if ([ "$QUUX" != 'quux' ]) { - warn "sed is not working properly. This may produce unexpected behaviour.\n" - } +# we need sed -r (and sed -i, but not checking for that here) +QUUX=$(echo foox | sed -r 's/^fo{2}(.)$/quu\1/' 2> /dev/null) +if ([ "$QUUX" != 'quux' ]) { + warn "sed is not working properly. This may produce unexpected behaviour.\n" } if ([ ! -d $PDIR ]) { |