use bash as the shell for make

This commit is contained in:
Kim 2019-05-03 14:23:18 +02:00 committed by GitHub
parent a1bb026865
commit 01fd8dfdec
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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