define shell

2024-10-31 23:07:47 +00:00 · 2019-05-27 02:33:03 -05:00 · 2019-05-27 02:33:03 -05:00 · da540e70ba
commit da540e70ba
parent 3647bfe04c
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -1,3 +1,5 @@
+SHELL := /bin/bash
+
 BASEDIR=$(CURDIR)
 PLUGINDIR=$(BASEDIR)/plugins
 PELICANDIR=$(BASEDIR)/pelican