diff options
author | Xiretza <xiretza@xiretza.xyz> | 2021-05-09 14:01:25 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2021-05-10 07:56:17 +0200 |
commit | 4dd3ef8473d4b88c6249de225f2637570ce99f3f (patch) | |
tree | c8958ad517ca8361cc73fa14148cfead308959ab /Makefile.in | |
parent | 1f189f146766eda9cc61d4fd163398fa826eb622 (diff) | |
download | ghdl-4dd3ef8473d4b88c6249de225f2637570ce99f3f.tar.gz ghdl-4dd3ef8473d4b88c6249de225f2637570ce99f3f.tar.bz2 ghdl-4dd3ef8473d4b88c6249de225f2637570ce99f3f.zip |
configure: use ADA_FLAGS from environment
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index f2752fd40..c2c62a270 100644 --- a/Makefile.in +++ b/Makefile.in @@ -19,6 +19,7 @@ build=@build@ srcdir=@srcdir@ abs_srcdir=@abs_srcdir@ GNATMAKE=@GNATMAKE@ +ADA_FLAGS=@ADA_FLAGS@ MAKE=@MAKE@ prefix=@prefix@ backend=@backend@ |