From 7cf4da99e7cb62347b9f2ee4c3513d0446e92126 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 17 Dec 2017 20:11:46 +0100 Subject: configure: allow user to override MAKE. --- Makefile.in | 1 + configure | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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@ diff --git a/configure b/configure index dbd6cbf88..c86087535 100755 --- a/configure +++ b/configure @@ -29,7 +29,7 @@ PIC_FLAGS=-fPIC show_help=no progname=$0 -subst_vars="CC CXX GNATMAKE CFLAGS LDFLAGS build srcdir abs_srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config llvm_be backtrace_lib build_mode EXEEXT SOEXT PIC_FLAGS default_pie enable_werror enable_checks enable_openieee" +subst_vars="CC CXX GNATMAKE MAKE CFLAGS LDFLAGS build srcdir abs_srcdir prefix backend libdirsuffix libdirreverse gcc_src_dir llvm_config llvm_be backtrace_lib build_mode EXEEXT SOEXT PIC_FLAGS default_pie enable_werror enable_checks enable_openieee" # Find srcdir srcdir=`dirname $progname` -- cgit v1.2.3