diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-12-17 20:11:46 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-12-18 06:06:52 +0100 |
commit | 7cf4da99e7cb62347b9f2ee4c3513d0446e92126 (patch) | |
tree | 8b52cd28bfa74e9b18f50397d3f76bf52d24d1a9 /Makefile.in | |
parent | 89eb6839ac8c429ef4c626ab2216411a2f5cc80c (diff) | |
download | ghdl-7cf4da99e7cb62347b9f2ee4c3513d0446e92126.tar.gz ghdl-7cf4da99e7cb62347b9f2ee4c3513d0446e92126.tar.bz2 ghdl-7cf4da99e7cb62347b9f2ee4c3513d0446e92126.zip |
configure: allow user to override MAKE.
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 a0e447d04..d2e1463ff 100644 --- a/Makefile.in +++ b/Makefile.in @@ -21,6 +21,7 @@ build=@build@ srcdir=@srcdir@ abs_srcdir=@abs_srcdir@ GNATMAKE=@GNATMAKE@ +MAKE=@MAKE@ prefix=@prefix@ backend=@backend@ libdirsuffix=@libdirsuffix@ |