diff options
Diffstat (limited to 'package/flex')
| -rw-r--r-- | package/flex/flex.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/package/flex/flex.mk b/package/flex/flex.mk index fed0d7750..43e7d5717 100644 --- a/package/flex/flex.mk +++ b/package/flex/flex.mk @@ -9,6 +9,7 @@ FLEX_SOURCE:=flex_$(FLEX_VERSION).orig.tar.gz FLEX_PATCH:=flex_$(FLEX_VERSION)-$(FLEX_PATCH_VERSION).diff.gz FLEX_SITE:=$(BR2_DEBIAN_MIRROR)/debian/pool/main/f/flex FLEX_DIR:=$(BUILD_DIR)/flex-$(FLEX_VERSION) +FLEX_INSTALL_STAGING=YES # lex -> flex define FLEX_INSTALL_LEX |