* Makefile.am (regen-dist): Do not make headers.mk read-only, since other clients expect it to be writable. --- milena/ChangeLog | 7 +++++++ milena/Makefile.am | 3 ++- 2 files changed, 9 insertions(+), 1 deletions(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index e8366b8..9ff0c15 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,5 +1,12 @@ 2009-05-26 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; + Fix the regeneration of headers.mk from Makefile. + + * Makefile.am (regen-dist): Do not make headers.mk read-only, + since other clients expect it to be writable. + +2009-05-26 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; + Use fully qualified type names to help Swig. * mln/core/site_set/box_piter.hh diff --git a/milena/Makefile.am b/milena/Makefile.am index e82862f..2fc5ec9 100644 --- a/milena/Makefile.am +++ b/milena/Makefile.am @@ -24,9 +24,10 @@ tutorial: tools: $(MAKE) -C tools all +# Force the regeneration of `headers.mk'. .PHONY: regen-dist regen-dist: - cd $(srcdir) && ./generate_dist_headers.sh && chmod -w headers.mk + cd $(srcdir) && ./generate_dist_headers.sh # FIXME: Change generate_dist_headers.sh so that the action looks like this: # # $< $@.tmp && mv -f $@.tmp $@ && chmod -w $@ -- 1.6.1.2