Rombobjörn

summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--comfignat.mk4
1 files changed, 4 insertions, 0 deletions
diff --git a/comfignat.mk b/comfignat.mk
index f2a9955..a4742c4 100644
--- a/comfignat.mk
+++ b/comfignat.mk
@@ -550,6 +550,10 @@ Comfignat_default_goal: build
mkdir -p $@
.PRECIOUS: %/
+# This rule appears to work around a bug that was fixed in GNU Make 3.82:
+${stage_gprdir}/:
+ mkdir -p $@
+
# How to initialize a build directory with a delegating makefile:
${builddir}/Makefile: | ${builddir}/
@echo 'Writing $@.'