diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-20 19:33:32 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2018-12-20 19:33:32 -0500 |
commit | f5f556228e149559f2c17c03a3c5537767c5252b (patch) | |
tree | d6608d1fae0219c98e3e492db59f40b3e2c38f6e /debian/patches/series | |
parent | 51b791c497507a4119f7829b093cb66b76d1a350 (diff) |
Use sh as the shell for rcm
rcm only requires a POSIX-compliant shell – not Bash. The various sh
options in Debian are POSIX-compliant, and many of them are
substantially faster than Bash. Force rcm to run under /bin/sh.
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index f3a1eda..d606c4a 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ contributors.patch macos.patch +shebang.patch |