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/ssh-argv0 | |
parent | 074489e1e6e97c75d87750035dbaf8c693e9736e (diff) |
Use 'set -e' rather than '#! /bin/sh -e' in maintainer scripts and
ssh-argv0.
Diffstat (limited to 'debian/ssh-argv0')
-rw-r--r-- | debian/ssh-argv0 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/ssh-argv0 b/debian/ssh-argv0 index 67599aec2..37506a4d7 100644 --- a/debian/ssh-argv0 +++ b/debian/ssh-argv0 | |||
@@ -1,4 +1,5 @@ | |||
1 | #! /bin/sh -e | 1 | #! /bin/sh |
2 | set -e | ||
2 | 3 | ||
3 | # Copyright (c) 2001 Jonathan Amery. | 4 | # Copyright (c) 2001 Jonathan Amery. |
4 | # | 5 | # |