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 | # |