diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2010-01-26 15:51:45 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2010-01-26 15:51:45 +0100 |
| commit | 51f9f4d78deabf54dbbb6881139d2b1a319ffbfc (patch) | |
| tree | 60a2bcd8911acd5c4ab8b4558bfd30344b673ff5 /debian/prerm | |
| parent | 76fe5db7153957f8fda437e3bd614312b076f19e (diff) | |
| parent | c1f168f54be5b4babeb9b91cd7145441ea2489ad (diff) | |
merge from the mvo branch
Diffstat (limited to 'debian/prerm')
| -rwxr-xr-x | debian/prerm | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/debian/prerm b/debian/prerm deleted file mode 100755 index 4a8d47782..000000000 --- a/debian/prerm +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh - -set -e - -#DEBHELPER# - -if [ "$1" = "upgrade" -o "$1" = "failed-upgrade" ] && - dpkg --compare-versions "$2" "<<" 0.4.10 -then - if [ ! -d /var/state/apt/ ]; then - ln -s /var/lib/apt /var/state/apt - touch /var/lib/apt/lists/partial/.delete-me-later - fi -fi - |