diff options
-rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -20,6 +20,11 @@ # ######################################################################## + +ifndef MAKEFILE_INCLUDED +MAKEFILE_INCLUDED := 1 + + SHELL := /usr/bin/env bash -Eeuo pipefail @@ -239,3 +244,6 @@ help-variables: .DELETE_ON_ERROR: + + +endif #include guard |