diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2013-04-17 22:42:10 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2013-04-17 22:42:10 +0300 |
| commit | 224e1caae160cccd6447db6228cc617765f7ad31 (patch) | |
| tree | aa512237ffe17bd47d66fc232abbcbc6f8a37904 /GNUmakefile | |
| parent | f576f7fb042d50ff965513f4679aa68343d0a7ee (diff) | |
Teach 'make' how to re-configure for MinGW.
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index b829e93b49..a2a630ba9d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -32,6 +32,11 @@ # run "configure" by hand. But run autogen.sh first, if the source # was checked out directly from the repository. +ifneq ($(MSYSTEM),) +CFG = CONFIG_SITE=$(CURDIR)/nt/mingw-cfg.site +else +CFG = +endif # If a Makefile already exists, just use it. @@ -70,7 +75,7 @@ configure: Makefile: configure @echo >&2 'There seems to be no Makefile in this directory.' @echo >&2 'Running ./configure ...' - ./configure + $(CFG) ./configure @echo >&2 'Makefile built.' endif |