#2903: shell bash

objectionary · Mar 1, 2024 · 7a3fb44 · 7a3fb44
1 parent a149d53
commit 7a3fb44
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/paper/Makefile b/paper/Makefile
@@ -20,9 +20,10 @@
 # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 # SOFTWARE.
 
-.SHELLFLAGS = -e -x -c
+.SHELLFLAGS=-e -x -c
 .ONESHELL:
 .PHONY: clean
+SHELL=bash
 
 TLROOT=$$(kpsewhich -var-value TEXMFDIST)
 PACKAGES=ffcode to-be-determined href-ul minted