From e1ec422bb19f910cb539633cd773d0a420b7b562 Mon Sep 17 00:00:00 2001 From: Andrej Date: Mon, 2 Jun 2025 14:24:53 +0500 Subject: [PATCH] common.mk - explicitly specify `sh` as default shell --- src/common.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/src/common.mk b/src/common.mk index 0d8742a40f..f7f3c7ead4 100644 --- a/src/common.mk +++ b/src/common.mk @@ -1,3 +1,4 @@ +SHELL := sh IS_STABLE:=FALSE PYTHON:=python3.11 PIP:=pip3.11