diff options
Diffstat (limited to 'toolchain/mpfr/Makefile')
| -rw-r--r-- | toolchain/mpfr/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index 17296503d..e24867a5a 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -10,7 +10,6 @@ ifeq (${ADK_MAKE_PARALLEL},y) MPFR_MAKEOPTS+= -j${ADK_MAKE_JOBS} endif -$(WRKBUILD)/.headers: $(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ |