diff options
Diffstat (limited to 'toolchain/mpfr')
| -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 d16729a70..67753db9b 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -11,8 +11,8 @@ ifeq (${ADK_MAKE_PARALLEL},y) MPFR_MAKEOPTS+= -j${ADK_MAKE_JOBS} endif -$(WRKBUILD)/.headers: -$(WRKBUILD)/.configured: +$(WRKBUILD)/.headers: +$(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_TOOLS) \ |