diff options
author | Colin Watson <cjwatson@debian.org> | 2013-06-13 14:00:21 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2013-06-13 14:00:21 +0100 |
commit | ed1b8fa3b2e14f180b43e6cf3a5896f16e421031 (patch) | |
tree | 57a1acbc5305d8a25f9f63e46dd1a38eb4675218 /debian/openssh-server.postrm | |
parent | 074489e1e6e97c75d87750035dbaf8c693e9736e (diff) |
Use 'set -e' rather than '#! /bin/sh -e' in maintainer scripts and
ssh-argv0.
Diffstat (limited to 'debian/openssh-server.postrm')
-rw-r--r-- | debian/openssh-server.postrm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/openssh-server.postrm b/debian/openssh-server.postrm index fdf0802c9..33191522b 100644 --- a/debian/openssh-server.postrm +++ b/debian/openssh-server.postrm | |||
@@ -1,4 +1,5 @@ | |||
1 | #!/bin/sh -e | 1 | #!/bin/sh |
2 | set -e | ||
2 | 3 | ||
3 | #DEBHELPER# | 4 | #DEBHELPER# |
4 | 5 | ||