From 1aa91da92ee3d86ce6f1ab735d37e4032f846187 Mon Sep 17 00:00:00 2001
From: mappu <mappu04@gmail.com>
Date: Sat, 5 Apr 2025 20:47:26 +1300
Subject: [PATCH] makefile: use bash as shell

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index e3755296..58ecc8e9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 BUILDSTAMPS := docker/genbindings.docker-buildstamp
 DOCKER := docker
+SHELL := /bin/bash
 
 all: genbindings