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. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') 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