From aff447342dfb2c7110d769fbace6cd8eaa6b1a5e Mon Sep 17 00:00:00 2001
From: Benedikt Meurer <benedikt.meurer@googlemail.com>
Date: Sun, 18 Dec 2011 22:14:13 +0100
Subject: [PATCH] [arm] Config,system is either linux_eabi or linux_eabihf.

---
 asmcomp/arm/emit.mlp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/asmcomp/arm/emit.mlp b/asmcomp/arm/emit.mlp
index db2030a46..5778f87fd 100644
--- a/asmcomp/arm/emit.mlp
+++ b/asmcomp/arm/emit.mlp
@@ -919,6 +919,9 @@ let end_assembly () =
       efa_string = (fun s -> emit_string_directive "	.asciz	" s) };
   `	.type	{emit_symbol lbl}, %object\n`;
   `	.size	{emit_symbol lbl}, .-{emit_symbol lbl}\n`;
-  if Config.system = "linux" then
+  begin match Config.system with
+    "linux_eabihf" | "linux_eabi" ->
       (* Mark stack as non-executable *)
       `	.section	.note.GNU-stack,\"\",%progbits\n`
+  | _ -> ()
+  end