diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2009-09-23 17:11:41 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2009-09-23 17:11:41 +0200 |
| commit | f7d6459db697c6dbba8e5d787a817e7721bfb577 (patch) | |
| tree | df35974a4902758ad2e9e03720a463bc13bdefb4 /debian/prerm | |
| parent | 73b1d4847befc0d3042b6689484e0f74667aba6e (diff) | |
| parent | a874991b8549397fb26c47bbf229854556a3fb60 (diff) | |
merged from david, many thanks
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 - |