diff options
| -rw-r--r-- | tools/flex/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/flex/Makefile b/tools/flex/Makefile index 371a7564e..023b6a40c 100644 --- a/tools/flex/Makefile +++ b/tools/flex/Makefile @@ -14,7 +14,7 @@ include ../rules.mk install: ${STAGING_HOST_DIR}/usr/bin/flex $(WRKBUILD)/.compiled: ${WRKDIST}/.prepared - (cd ${WRKBUILD}; PATH="$(STAGING_DIR_HOST)/usr/bin:$PATH" ./configure) + (cd ${WRKBUILD}; PATH="$(STAGING_DIR_HOST)/usr/bin:$$PATH" ./configure) ${MAKE} -C ${WRKBUILD} CC='${CC_FOR_BUILD}' touch $@ |