diff options
-rw-r--r-- | comfignat.mk | 4 |
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 $@.' |