ci: use bash within makefile

dbjorge · dbjorge · commit 09a86062144c · 2024-12-13T20:58:55.000-08:00
diff --git a/Makefile b/Makefile
@@ -1,3 +1,5 @@
+SHELL := /bin/bash
+
 # Build configuration
 # -------------------
 
