diff options
| author | robi <robi> | 2012-02-21 21:50:38 +0000 |
|---|---|---|
| committer | robi <robi> | 2012-02-21 21:50:38 +0000 |
| commit | 44e4fd4550be54045d90dbfa7165436946e3f81c (patch) | |
| tree | e29ad34db4940c8c053c44c8ffd4da861661adea | |
| parent | d9a3f42e92c7dec119319f0a1a890d10fc4e32ea (diff) | |
revision stuff
| -rw-r--r-- | src/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index ba673db..d237f4b 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -245,9 +245,9 @@ $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps) exit 1;; \ esac; \ done; \ - echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/Makefile'; \ + echo ' cd $(top_srcdir) && $(AUTOMAKE) --gnu src/Makefile'; \ $(am__cd) $(top_srcdir) && \ - $(AUTOMAKE) --foreign src/Makefile + $(AUTOMAKE) --gnu src/Makefile .PRECIOUS: Makefile Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status @case '$?' in \ |