summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2012-05-17 17:50:30 -0700
committerKaz Kylheku <kaz@kylheku.com>2012-05-17 17:50:30 -0700
commitf1d3884b7492e8c08f964b893153d6b2b5b44361 (patch)
treee9056b731293f302181cdb487ab5a2608dd86712 /configure
parentbf01a8204bac52cdc078e7c82922bf10863adfc4 (diff)
downloadtxr-f1d3884b7492e8c08f964b893153d6b2b5b44361.tar.gz
txr-f1d3884b7492e8c08f964b893153d6b2b5b44361.tar.bz2
txr-f1d3884b7492e8c08f964b893153d6b2b5b44361.zip
* configure: Do not capture the stderr of GNU Make in the
configure step; send it to /dev/null. * txr.spec: Adding specfile for building RPMs.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure
index bb4451c9..a612dbf1 100755
--- a/configure
+++ b/configure
@@ -409,8 +409,9 @@ printf "Checking for GNU Make ... "
if [ -z "$make" ] ; then
for make in make gmake ; do
- output=$($make --version 2>&1) || true
+ output=$($make --version 2> /dev/null) || true
set -- $output
+ printf "\$@=<$1> <$2> <$3>\n"
if [ $1 != "GNU" -o $2 != "Make" ] ; then
continue
@@ -423,7 +424,7 @@ if [ -z "$make" ] ; then
printf "missing\n"
exit 1
fi
-
+
make_version=$3
save_ifs=$IFS ; IFS=. ; set -- $make_version ; IFS=$save_ifs