This is the mail archive of the
systemtap@sourceware.org
mailing list for the systemtap project.
[Bug translator/19700] Support dash as /bin/sh in generated Makefile
- From: "orivej at gmx dot fr" <sourceware-bugzilla at sourceware dot org>
- To: systemtap at sourceware dot org
- Date: Mon, 22 Feb 2016 03:13:49 +0000
- Subject: [Bug translator/19700] Support dash as /bin/sh in generated Makefile
- Auto-submitted: auto-generated
- References: <bug-19700-6586 at http dot sourceware dot org/bugzilla/>
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.