[Bug translator/19700] Support dash as /bin/sh in generated Makefile

orivej at gmx dot fr sourceware-bugzilla@sourceware.org
Mon Feb 22 03:14:00 GMT 2016


https://sourceware.org/bugzilla/show_bug.cgi?id=19700

--- Comment #3 from Orivej Desh <orivej at gmx dot fr> ---
You can also just put "SHELL = /bin/bash" in the generated Makefile and not
care about shell compatibility.

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the Systemtap mailing list