polish makefiles

This commit is contained in:
Laurent Perron
2022-03-10 10:56:59 +01:00
parent 00e509e770
commit 7a3d472932
2 changed files with 1 additions and 2 deletions

View File

@@ -607,7 +607,6 @@ detect_cc:
@echo BIN_DIR = $(BIN_DIR)
@echo prefix = $(prefix)
@echo OR_TOOLS_LIBS = $(OR_TOOLS_LIBS)
@echo Relevant info on third party:
@echo BUILD_TYPE = $(BUILD_TYPE)
@echo USE_GLOP = ON
@echo USE_PDLP = ON