Rename Make.inc.arm to ARM.inc

JuliaLang · Sep 6, 2014 · aec1f42 · aec1f42
1 parent 4fbeccd
commit aec1f42
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Make.inc.arm → ARM.inc b/Make.inc.arm → ARM.inc
diff --git a/Make.inc b/Make.inc
@@ -335,8 +335,8 @@ include $(JULIAHOME)/Make.user
 endif
 
 # ARM specific configuration
-ifeq (exists, $(shell [ -e $(JULIAHOME)/Make.inc.arm ] && echo exists ))
-include $(JULIAHOME)/Make.inc.arm
+ifeq (exists, $(shell [ -e $(JULIAHOME)/ARM.inc ] && echo exists ))
+include $(JULIAHOME)/ARM.inc
 endif
 
 ifeq ($(SANITIZE),1)