update minor version

2016-12-23 13:13:17 +01:00
parent 66bbb84c3e
commit 0712a667be
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -8,7 +8,7 @@ help:
 	@echo "  - all: all test clean"

 OR_TOOLS_MAJOR = 5
-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