diff --git a/makefiles/Makefile.third_party.unix.mk b/makefiles/Makefile.third_party.unix.mk index 3d5f7fb8db..d6d8218375 100644 --- a/makefiles/Makefile.third_party.unix.mk +++ b/makefiles/Makefile.third_party.unix.mk @@ -812,7 +812,7 @@ endif $(SCIP_SRCDIR): | dependencies/sources -$(DELREC) $(SCIP_SRCDIR) - tar xvzf dependencies/archives/scip-$(SCIP_TAG).tgz -C dependencies/sources + tar xvzf dependencies/archives/scip-$(SCIP_TAG).tgz -C dependencies/sources cp dependencies/sources/scip-$(SCIP_TAG)/src/lpi/lpi_glop.cpp ortools/linear_solver/lpi_glop.cc SCIP_INC = -I"$(OR_TOOLS_TOP)"/dependencies/install/include -DUSE_SCIP -DNO_CONFIG_HEADER