diff options
| author | Vito Caputo <vcaputo@gnugeneration.com> | 2014-09-28 17:34:22 -0700 |
|---|---|---|
| committer | Vito Caputo <vcaputo@gnugeneration.com> | 2014-09-28 17:34:22 -0700 |
| commit | a12c562bb5811b9f51b324746ff7c482197e7222 (patch) | |
| tree | 891e2fc148f51ba801b7e760df1b31ab83a1023d /Makefile | |
| parent | 7bcde781975ddf4a5ce266a9214ba26f563ed063 (diff) | |
Switched launchers to execute via "/bin/sh" rather than "bash"
Using bash was a bit heavy-handed when all I really want is a /bin/sh -c
just like popen()/system(). On some systems this won't make any
difference, but on Debian /bin/sh -> dash.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions