From 6edbb77879d8b72f2d1863038324e0115f930a59 Mon Sep 17 00:00:00 2001 From: "lperron@google.com" Date: Thu, 10 Apr 2014 19:35:57 +0000 Subject: [PATCH] fix make printport in cc archive --- tools/Makefile.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/Makefile.cc b/tools/Makefile.cc index 4512513b65..3386e625f4 100644 --- a/tools/Makefile.cc +++ b/tools/Makefile.cc @@ -53,6 +53,7 @@ ifeq ("$(SYSTEM)","unix") LD_FLAGS = -lz ORTOOLS_LIB = -L$(OR_ROOT)lib -lortools ARCH = -DARCH_K8 + PORT = MacOsX64 endif O = o E = @@ -255,6 +256,7 @@ printport: @echo SYSTEM = $(SYSTEM) @echo PORT = $(PORT) @echo OS = $(OS) + @echo CCC = $(CCC) # Include user makefile