diff options
Diffstat (limited to 'toolchain/gmp/Makefile')
| -rw-r--r-- | toolchain/gmp/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toolchain/gmp/Makefile b/toolchain/gmp/Makefile index cff400736..bbe26f14d 100644 --- a/toolchain/gmp/Makefile +++ b/toolchain/gmp/Makefile @@ -7,7 +7,7 @@ include Makefile.inc include ${TOPDIR}/mk/buildhlp.mk $(WRKBUILD)/.headers: -$(WRKBUILD)/.configure_done: +$(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_TOOLS) \ @@ -19,7 +19,7 @@ $(WRKBUILD)/.configure_done: ); touch $@ -$(WRKBUILD)/.compiled: $(WRKBUILD)/.configure_done +$(WRKBUILD)/.compiled: $(WRKBUILD)/.configured $(MAKE) -C $(WRKBUILD) all touch $@ |