From 225bfee0942234a194d1a147b374bf6250c99e8c Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 7 Nov 2018 01:58:53 +0100
Subject: ortho/debug/Makefile: don't use -m for gnatmake

---
 src/ortho/debug/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ortho/debug')

diff --git a/src/ortho/debug/Makefile b/src/ortho/debug/Makefile
index 1dd2d0f06..a815639e5 100644
--- a/src/ortho/debug/Makefile
+++ b/src/ortho/debug/Makefile
@@ -24,7 +24,7 @@ GNATMAKE=gnatmake
 CC=gcc
 CFLAGS=-g
 ALL_GNAT_FLAGS=-pipe -g -gnato -gnatwaeu -gnatf -gnaty3befhkmr
-GNATMAKE_FLAGS=-m $(ALL_GNAT_FLAGS) $(GNATFLAGS) -aI$(ortho_srcdir) -aI$(orthobe_srcdir) -aI.
+GNATMAKE_FLAGS=$(ALL_GNAT_FLAGS) $(GNATFLAGS) -aI$(ortho_srcdir) -aI$(orthobe_srcdir) -aI.
 #LARGS=-largs -static
 SED=sed
 
-- 
cgit v1.2.3