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}" }