Merge pull request #11260 from yuyichao/make-clean

Remove duplicated entries in Make.inc [ci skip]
JuliaLang · May 13, 2015 · 2be6cc4 · 2be6cc4
2 parents c2a28ee + e4882b4
commit 2be6cc4
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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