diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-11-07 01:58:53 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-11-07 20:53:22 +0100 |
| commit | 225bfee0942234a194d1a147b374bf6250c99e8c (patch) | |
| tree | c8373df2314db1566f78759fb3e8d19e3439622a /src/ortho | |
| parent | 51d6cab20ab8e08d1de3a0dc922a374ad42b6421 (diff) | |
| download | ghdl-225bfee0942234a194d1a147b374bf6250c99e8c.tar.gz ghdl-225bfee0942234a194d1a147b374bf6250c99e8c.tar.bz2 ghdl-225bfee0942234a194d1a147b374bf6250c99e8c.zip | |
ortho/debug/Makefile: don't use -m for gnatmake
Diffstat (limited to 'src/ortho')
| -rw-r--r-- | src/ortho/debug/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |