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/changelog | |
| 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/changelog')
0 files changed, 0 insertions, 0 deletions