Rombobjörn

summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBjörn Persson <bjorn@rombobjörn.se>2013-11-04 09:06:24 +0100
committerBjörn Persson <bjorn@rombobjörn.se>2013-11-04 09:06:24 +0100
commitdc755a6e32254c6d58157a410bf41912b5a16ad0 (patch)
treeaeb24ed1ea6a5808f27b940e72c00593a685c015
parent59d62720ed2874a342b1c3fc4624d8a60cfc5fa4 (diff)
Worked around a bug in GNU Make 3.81.version_1.2
-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 $@.'