From 13ea2ba8d2e2db882f3ddfb4464752d2e13ab9af Mon Sep 17 00:00:00 2001 From: Andrej730 Date: Wed, 21 May 2025 12:56:01 +0500 Subject: [PATCH] ifcopenshell-python makefile - set `sh` as the main shell explicitly --- src/ifcopenshell-python/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ifcopenshell-python/Makefile b/src/ifcopenshell-python/Makefile index 6e99b5d6d9..1802d2d342 100644 --- a/src/ifcopenshell-python/Makefile +++ b/src/ifcopenshell-python/Makefile @@ -1,3 +1,4 @@ +SHELL := sh IS_STABLE:=FALSE VERSION:=$(shell cat ../../VERSION) VERSION_DATE:=$(shell date '+%y%m%d')