diff options
| author | Björn Persson <bjorn@rombobjörn.se> | 2013-11-04 09:06:24 +0100 |
|---|---|---|
| committer | Björn Persson <bjorn@rombobjörn.se> | 2013-11-04 09:06:24 +0100 |
| commit | dc755a6e32254c6d58157a410bf41912b5a16ad0 (patch) | |
| tree | aeb24ed1ea6a5808f27b940e72c00593a685c015 /comfignat.mk | |
| parent | 59d62720ed2874a342b1c3fc4624d8a60cfc5fa4 (diff) | |
Worked around a bug in GNU Make 3.81.version_1.2
Diffstat (limited to 'comfignat.mk')
| -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 $@.' |