From 512be537dc6423c6e0acf57b6d9e52bdd6c31061 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Fri, 29 Mar 2013 15:49:17 +0100 Subject: [PATCH] Add ocp-build's colors back --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a3b336264f6..c9d2df41900 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ -include Makefile.config -LOCAL_OCPBUILD=./ocp-build/ocp-build -no-use-ocamlfind -no-color +LOCAL_OCPBUILD=./ocp-build/ocp-build -no-use-ocamlfind OCPBUILD ?= $(LOCAL_OCPBUILD) SRC_EXT=src_ext TARGETS = opam opam-mk-repo