diff --git a/Makefile b/Makefile index 5d502e8a4f..ea36cc530e 100755 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ help: @echo " - all: all test clean" OR_TOOLS_MAJOR = 4 -OR_TOOLS_MINOR = 0 +OR_TOOLS_MINOR = 1 # OR_ROOT is the minimal prefix to define the root of or-tools, if we # are compiling in the or-tools root, it is empty. Otherwise, it is