diff options
Diffstat (limited to 'rules/other/Toplevel.make')
| -rw-r--r-- | rules/other/Toplevel.make | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rules/other/Toplevel.make b/rules/other/Toplevel.make index cb3f30850..d65a17b4c 100644 --- a/rules/other/Toplevel.make +++ b/rules/other/Toplevel.make @@ -17,6 +17,10 @@ # take care of toolchain requirements # +# make sure bash is used to execute commands from makefiles + +SHELL=bash +export SHELL # This makefile is called with PTXDIST_TOPDIR set to the PTXdist # toplevel installation directory. So we first source the static |