diff --git a/Makefile b/Makefile index 628574e2..534077b4 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,4 @@ +SHELL := /bin/bash build_dir := build .PHONY: all