added: build workflow

2023-08-11 10:12:57 +02:00
parent f3d71c037c
commit 17585b41b5
4 changed files with 75 additions and 32 deletions
--- a/2
+++ b/2
@@ -99,7 +99,7 @@ write-if-changed-cmd = if [ ! -f "$2" ] || [ ! "$1" = "`cat $2 2> /dev/null`" ];
 #----------------------------------#

 # shell settings
-SHELL       := /usr/bin/bash
+SHELL       := bash
 .SHELLFLAGS := -e -u -c

 # Use a single shell