diff options
| author | Nick White <git@njw.me.uk> | 2012-09-12 14:07:05 +0100 |
|---|---|---|
| committer | Nick White <git@njw.me.uk> | 2012-09-12 14:07:05 +0100 |
| commit | bea67306d73bc7f18e131be2f1377076fd77e28f (patch) | |
| tree | 95e811f9067656fb0d80db3cc1974c1b32c48f17 /debian/postrm | |
| parent | 6d80eca2aba0b58fa5f985fd95b49b1662d29a79 (diff) | |
Make lintian clean
Diffstat (limited to 'debian/postrm')
| -rw-r--r-- | debian/postrm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/postrm b/debian/postrm index 04346d0..f5ccda3 100644 --- a/debian/postrm +++ b/debian/postrm @@ -1,3 +1,3 @@ #!/bin/sh -test "$1" = "configure" && test -x /usr/bin/update-menus \ - && update-menus +set -e +if test -x /usr/bin/update-menus; then update-menus; fi |