diff options
| -rw-r--r-- | print/xdvi/pkg-deinstall | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/print/xdvi/pkg-deinstall b/print/xdvi/pkg-deinstall index 6a3fcb2b7885..2149add34d40 100644 --- a/print/xdvi/pkg-deinstall +++ b/print/xdvi/pkg-deinstall @@ -10,12 +10,13 @@ this file now. END -echo -n "do you want to deinstall the package ? [y] " -read answ; if [ "$answ" = "" ]; then answ=y; fi -case $answ in - y*|Y*) break;; - *) exit 1;; -esac +if [ -z ${PACKAGE_BUILDING} ]; then + echo -n "do you want to deinstall the package ? [y] " + read answ; if [ "$answ" = "" ]; then answ=y; fi + case $answ in + y*|Y*) break;; + *) exit 1;; + esac +fi exit 0 - |