diff --git a/extensions/bintools/Makefile b/extensions/bintools/Makefile index 611a6aa4..04799a02 100644 --- a/extensions/bintools/Makefile +++ b/extensions/bintools/Makefile @@ -99,6 +99,8 @@ endif ifeq "$(USEMETA)" "true" BIN_DIR := $(BIN_DIR).$(ENGINE) +else + BIN_DIR := $(BIN_DIR).original endif OS := $(shell uname -s)