diff options
Diffstat (limited to 'toolchain/gmp/Makefile')
| -rw-r--r-- | toolchain/gmp/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/toolchain/gmp/Makefile b/toolchain/gmp/Makefile index 0e0ed0fca..ed0103ae9 100644 --- a/toolchain/gmp/Makefile +++ b/toolchain/gmp/Makefile @@ -12,8 +12,11 @@ endif $(WRKBUILD)/.headers: $(WRKBUILD)/.configured: +ifneq (,$(filter CYGWIN%,${OStype})) + (cd $(WRKBUILD); cp configfsf.guess config.guess); +endif (cd $(WRKBUILD); \ - $(WRKBUILD)/configure \ + ./configure \ --prefix=$(STAGING_HOST_DIR) \ --disable-shared \ --enable-static \ |