]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - m4/gengetopt/makefile
Merge branch 't/utf8'
[paraslash.git] / m4 / gengetopt / makefile
index 138ac30b909f4b95bb0d2d50921f9930e4493840..05be1379c4f665314e402849b1ecefba680dfa74 100644 (file)
@@ -7,6 +7,8 @@ define ggo_opts
        --set-package="para_$(*F)"
 endef
 
+.PRECIOUS: $(cmdline_dir)/%.cmdline.c $(cmdline_dir)/%.cmdline.h $(ggo_dir)/%.ggo
+
 $(cmdline_dir)/%.cmdline.h $(cmdline_dir)/%.cmdline.c: $(ggo_dir)/%.ggo | $(cmdline_dir)
        @[ -z "$(Q)" ] || echo 'GGO $<'
        $(Q) $(GENGETOPT) $(ggo_opts) < $<