diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2009-12-02 17:24:56 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2009-12-02 17:24:56 +0100 |
| commit | f3ceaca7a648f7d93fa88106910151e69f498801 (patch) | |
| tree | b2bf899c035363fbc0b561f1006a787cb06527f0 /debian/prerm | |
| parent | 5085e660679cdbb51783702898c42000d5db4fba (diff) | |
| parent | 16d7341fce96b089aa2a1c241acd0a72209bcd7f (diff) | |
merge from the debian-sid 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 - |