diff options
Diffstat (limited to 'src/grt')
| -rw-r--r-- | src/grt/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/Makefile b/src/grt/Makefile index 107aef7bf..2213c5bc5 100644 --- a/src/grt/Makefile +++ b/src/grt/Makefile @@ -21,7 +21,7 @@ GRT_ADAFLAGS=-gnatn ADAC=gcc CC=gcc GNATFLAGS=$(CFLAGS) -gnatf -gnaty3befhkmr -gnatwlu -GHDL1=../ghdl1-gcc +GHDL1=../ghdl1-gcc$(EXEEXT) GRTSRCDIR=. GRT_RANLIB=ranlib |