diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2009-09-23 17:26:43 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2009-09-23 17:26:43 +0200 |
| commit | f98233c1b1e93ef1bb595bfc6e59c74d9e05eb6a (patch) | |
| tree | 82d6aa3ff7c2c2e6d073ff39f09e52aa7407562d /debian/prerm | |
| parent | a69a3a044be84f72508fb468cdf13d9e5f724dd4 (diff) | |
| parent | f7d6459db697c6dbba8e5d787a817e7721bfb577 (diff) | |
merged from debian
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 - |