diff options
author | Kim <kim.sidney@gmail.com> | 2019-05-03 14:23:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-03 14:23:18 +0200 |
commit | 01fd8dfdec8278e63f43502da44b4e7f8d0bf9e5 (patch) | |
tree | af0d44aecf22781101ecb018b2807d638edfeb41 | |
parent | a1bb0268650370a317c7effa864a27c59c823c40 (diff) | |
download | vyos-build-01fd8dfdec8278e63f43502da44b4e7f8d0bf9e5.tar.gz vyos-build-01fd8dfdec8278e63f43502da44b4e7f8d0bf9e5.zip |
use bash as the shell for make
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ +SHELL := /bin/bash build_dir := build .PHONY: all |