Merge pull request #25 from goran333/master

Use bash shell in Makefile to get popd, pushd functionality
dav · Jul 1, 2018 · 9b8b580 · 9b8b580
2 parents 0aca517 + 1b3d736
commit 9b8b580
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -1,3 +1,4 @@
+SHELL := /bin/bash
 DATA_DIR=./data
 BIN_DIR=./bin
 SRC_DIR=./src