diff options
Diffstat (limited to 'rules/other')
-rw-r--r-- | rules/other/Toplevel.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rules/other/Toplevel.make b/rules/other/Toplevel.make index 642a2bfa0..0cc05e5fd 100644 --- a/rules/other/Toplevel.make +++ b/rules/other/Toplevel.make @@ -4,7 +4,7 @@ # # make sure bash is used to execute commands from makefiles -SHELL=bash +SHELL=$(PTXDIST_TOPDIR)/bin/bash export SHELL unexport MAKEFLAGS |