diff options
| author | HIGUCHI Daisuke (VDR dai) <dai@debian.org> | 2018-03-19 05:21:44 +0000 |
|---|---|---|
| committer | HIGUCHI Daisuke (VDR dai) <dai@debian.org> | 2018-03-19 05:21:44 +0000 |
| commit | 0c67e80340a2e7d008fa246ff506015b033fabb6 (patch) | |
| tree | 3e483793bd78bb3123e5590d30aefe8922fab091 /debian/prerm | |
| parent | Debian release 0.5.3-36 (diff) | |
| download | w3m-0c67e80340a2e7d008fa246ff506015b033fabb6.tar.gz w3m-0c67e80340a2e7d008fa246ff506015b033fabb6.zip | |
eliminate lintian warning: maintainer-script-without-set-e
Diffstat (limited to '')
| -rw-r--r-- | debian/prerm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/debian/prerm b/debian/prerm index 818370a..3d9ad18 100644 --- a/debian/prerm +++ b/debian/prerm @@ -1,5 +1,6 @@ -#!/bin/sh -e -# +#!/bin/sh + +set -e case "$1" in remove|deconfigure) |