Specify /bin/bash for the Makefile, as some distros may have other shells (eg,...

Specify /bin/bash for the Makefile, as some distros may have other shells (eg, ubuntu image for docker has /bin/dash)

Specify /bin/bash for the Makefile, as some distros may have other shells (eg,...
Specify /bin/bash for the Makefile, as some distros may have other shells (eg, ubuntu image for docker has /bin/dash)
838e0ac9 · Leandro Lameiro · bb279bba · 838e0ac9
Commit 838e0ac9 authored Jun 24, 2015 by Leandro Lameiro
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

Makefile Makefile +2 -0

No files found.
--- a/Makefile
+++ b/Makefile
+SHELL := /bin/bash
+
 # prints variables for debugging
 print-%: ; @echo $($*)