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