From 2478a43b0ad10d5d9fc2f41c964a76a773ce7c38 Mon Sep 17 00:00:00 2001
From: Anthony Arnold <anthony.arnold@uqconnect.edu.au>
Date: Thu, 18 Sep 2014 01:04:58 +1000
Subject: [PATCH] Flags for ARM

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c1d1b287d..83afa3637 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -859,7 +859,7 @@ if (NOT ARCH_COMPILER_FLAGS)
           set(ARCH_COMPILER_FLAGS "-mtune=generic")
 	endif(IS_ARM)
       else(ENABLE_GENERIC_ARCH)
-	if (IS_ARM)
+	if (IS_ARM) # ARM-specific options (https://gcc.gnu.org/onlinedocs/gcc/ARM-Options.html)
 	  if (ARM_VERSION STREQUAL "arm")
 	    # Unknown arm version - try our best to detect
 	    set(ARCH_COMPILER_FLAGS "-mcpu=native")