diff options
author | Martin Quinson <martin.quinson@loria.fr> | 2013-12-21 17:14:40 +0100 |
---|---|---|
committer | Martin Quinson <martin.quinson@loria.fr> | 2013-12-21 17:14:40 +0100 |
commit | 8d5565a9726236eb6779c99b122ad400c3601b7e (patch) | |
tree | c71acdf2d631b9eabbe6e3e0b5afba0e413ded95 /bin/patch-wrapper.in | |
parent | ff1a59bd27103908a139e7ccf652fc41ab49b9d9 (diff) | |
download | quilt-8d5565a9726236eb6779c99b122ad400c3601b7e.tar.gz |
bin/patch-wrapper.in: Die with an informative message when /proc is not mounted
Diffstat (limited to 'bin/patch-wrapper.in')
-rwxr-xr-x | bin/patch-wrapper.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/patch-wrapper.in b/bin/patch-wrapper.in index e992448..358856a 100755 --- a/bin/patch-wrapper.in +++ b/bin/patch-wrapper.in @@ -171,6 +171,10 @@ then if [ -n "$opt_input" ] then patch=$opt_input + elif [ ! -e /proc/self ] + then + echo "patch-wrapper: /proc not mounted!" >&2 + exit 1 elif [ -e /proc/self/fd/0 ] then patch=$(readlink /proc/self/fd/0) |