From e4882b472e3e8fec60096fcaf3471af9a3c1b2b8 Mon Sep 17 00:00:00 2001 From: Yichao Yu Date: Wed, 13 May 2015 17:56:24 -0400 Subject: [PATCH] Remove duplicated entries in Make.inc [ci skip] --- Make.inc | 1 - 1 file changed, 1 deletion(-) diff --git a/Make.inc b/Make.inc index d190e130deed7..afc08e6b9e394 100644 --- a/Make.inc +++ b/Make.inc @@ -35,7 +35,6 @@ USE_SYSTEM_SUITESPARSE=0 USE_SYSTEM_RMATH=0 USE_SYSTEM_LIBUV=0 USE_SYSTEM_UTF8PROC=0 -USE_SYSTEM_UTF8PROC=0 USE_SYSTEM_LIBGIT2=0 USE_SYSTEM_PATCHELF=0