diff options
Diffstat (limited to 'ortho/mcode/Makefile')
| -rw-r--r-- | ortho/mcode/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ortho/mcode/Makefile b/ortho/mcode/Makefile index 2970d600a..19d5d26aa 100644 --- a/ortho/mcode/Makefile +++ b/ortho/mcode/Makefile @@ -1,5 +1,5 @@ ortho_srcdir=.. -GNAT_FLAGS=-gnaty3befhkmr -gnata -gnatf -gnatwlcru +GNAT_FLAGS=-gnaty3befhkmr -gnata -gnatf -gnatwlcru -gnat05 CC=gcc BE=mcode SED=sed |