diff options
Diffstat (limited to 'ortho/mcode/Makefile')
| -rw-r--r-- | ortho/mcode/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ortho/mcode/Makefile b/ortho/mcode/Makefile index 182397a9e..3b5a5963b 100644 --- a/ortho/mcode/Makefile +++ b/ortho/mcode/Makefile @@ -1,5 +1,6 @@ ortho_srcdir=.. GNAT_FLAGS=-gnaty3befhkmr -gnata -gnatf -gnatwlcru +CC=gcc all: $(ortho_exec) |