rename cmake-makefile

chipsalliance · Oct 23, 2023 · 76c8f50 · 76c8f50
1 parent 2f8b80b
commit 76c8f50
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cmake-makefile b/cmake-makefile
@@ -5,9 +5,9 @@
 # This Makefile is a helper file to run the cmake CMakelists.txt present in this project
 # This is an alternative build system for Synlig when used in a cmake-based project.
 
-
 # Use bash as the default shell
-SHELL := /bin/bash
+SHELL := /usr/bin/env bash
+
 
 ifdef $(LC_ALL)
 	undefine LC_ALL