diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2008-11-24 11:16:13 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2008-11-24 11:16:13 +0100 |
| commit | 73e0ee1e7f97571d7be3277e3c25c2f41b2bb946 (patch) | |
| tree | 788e6a2c6052c70b6d3c478e80bf2e013f3b0dc0 /debian/preinst | |
| parent | 07dd557b6fd80ce2df235f1697189b6a8f190ff4 (diff) | |
| parent | 8071aa806453a3e275576c196d6645051475c894 (diff) | |
merged from debian-sid
Diffstat (limited to 'debian/preinst')
| -rwxr-xr-x | debian/preinst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/preinst b/debian/preinst index 276eae5de..985ad9b84 100755 --- a/debian/preinst +++ b/debian/preinst @@ -1,5 +1,7 @@ #! /bin/sh +set -e + # dpkg does this for us while we are upgrading.. #if [ "$1" = "upgrade" -a -L /var/state/apt -a -e /var/lib/apt -a ! -L /var/state/apt ] && dpkg --compare-versions "$2" ">=" "0.4.10"; then # rm /var/state/apt |