diff options
-rw-r--r-- | makefiles/Makefile.tools | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makefiles/Makefile.tools b/makefiles/Makefile.tools index 334ee83..08cd64a 100644 --- a/makefiles/Makefile.tools +++ b/makefiles/Makefile.tools @@ -433,7 +433,7 @@ XSLTPROC ?= xsltproc FLEX ?= flex -BISION ?= bison +BISON ?= bison ############################################################################### # Override defaulted tools |