diff options
| -rwxr-xr-x | Makefile.SH | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile.SH b/Makefile.SH index d135ec091b..c20f660b01 100755 --- a/Makefile.SH +++ b/Makefile.SH @@ -331,11 +331,21 @@ $make_set_make # Mention $gmake here so it gets probed for by Configure. +!GROK!THIS! + +case "${osname}" in +linux*) +$spitshell >>$Makefile <<!GROK!THIS! # If you're going to use valgrind and it can't be invoked as plain valgrind # then you'll need to change this, or override it on the make command line. VALGRIND ?= valgrind VG_TEST ?= ./perl -e 1 2>/dev/null +!GROK!THIS! + ;; +esac + +$spitshell >>$Makefile <<!GROK!THIS! DTRACE = $dtrace DTRACE_H = $dtrace_h DTRACE_O = $dtrace_o |