From 4e00a8d59699dfcf91eca748f3b50f4d6f7559a5 Mon Sep 17 00:00:00 2001 From: Andrej730 Date: Mon, 21 Apr 2025 12:55:30 +0500 Subject: [PATCH] bonsai Makefile - specify shell explicitly To avoid Windows trying to use cmd --- src/bonsai/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/bonsai/Makefile b/src/bonsai/Makefile index 8933f14290..ecc787c061 100644 --- a/src/bonsai/Makefile +++ b/src/bonsai/Makefile @@ -16,6 +16,7 @@ # You should have received a copy of the GNU General Public License # along with Bonsai. If not, see . +SHELL := sh PYTHON:=python3.11 PIP:=pip3.11 PATCH:=patch