From 3f56fc43237588dadc8a09a38efb5917bd2a7ce7 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@corp.google.com>
Date: Thu, 13 Jun 2019 19:37:55 +0200
Subject: [PATCH] improve make deps

---
 tools/generate_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/generate_deps.sh b/tools/generate_deps.sh
index 87bbae13a3..717ec96978 100755
--- a/tools/generate_deps.sh
+++ b/tools/generate_deps.sh
@@ -52,7 +52,7 @@ function print_dependencies {
   cmd=$(gcc -MM -MT objs/${2}/${1}.o -c ortools/${2}/${1}.cc -I. -Iortools/gen \
             -isystem dependencies/install/include \
             -isystem dependencies/install/include/coin \
-            -DUSE_GLOP -DUSE_BOP -DUSE_SCIP -DUSE_CLP -DUSE_CBC \
+            -DUSE_GLOP -DUSE_BOP -DUSE_CLP -DUSE_CBC \
             | sed -e "s/\.o:/.\$O:/g")
   echo "${cmd} | \$(OBJ_DIR)/${2}"
 }