Revert "use bash as the shell for make"

This reverts commit 01fd8dfdec8278e63f43502da44b4e7f8d0bf9e5.
This commit is contained in:
Kim Hagen 2019-05-03 15:49:21 +02:00
parent 01fd8dfdec
commit 8984e91e89

View File

@ -1,4 +1,3 @@
SHELL := /bin/bash
build_dir := build
.PHONY: all