WIP: Draft: Resolve "Use gnumake for uniform dev build system and GitLab CI" #213

Draft
savau wants to merge 540 commits from 145-build-system-rewrite into master
Showing only changes of commit 67395c4e78 - Show all commits

View File

@ -35,9 +35,7 @@ while [ -e "$FILENAME" ] ; do
inotifywait -e ATTRIB -t 10 "$FILENAME" > /dev/null 2>/dev/null
done
echo "containerfile '$FILENAME' was removed; initiating stop on container with id:"
echo -n " "
$RUNNER stop "$CONTAINER_ID"
$RUNNER stop "$CONTAINER_ID" > /dev/null 2>/dev/null
$CLEANUPSCRIPT