From dc755a6e32254c6d58157a410bf41912b5a16ad0 Mon Sep 17 00:00:00 2001
From: Björn Persson <bjorn@rombobjörn.se>
Date: Mon, 4 Nov 2013 09:06:24 +0100
Subject: Worked around a bug in GNU Make 3.81.

---
 comfignat.mk | 4 ++++
 1 file changed, 4 insertions(+)

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 $@.'
-- 
cgit v1.2.3