fix Makefile failing on strip

2023-02-18 22:58:00 -07:00 · 2023-02-18 22:58:00 -07:00 · 05e762d3ce
parent b458dbd3c2
commit 05e762d3ce
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -1,3 +1,5 @@
+SHELL = /bin/bash
+
 V               ?= @

 .DEFAULT_GOAL := help