diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2012-05-17 17:50:30 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2012-05-17 17:50:30 -0700 |
commit | f1d3884b7492e8c08f964b893153d6b2b5b44361 (patch) | |
tree | e9056b731293f302181cdb487ab5a2608dd86712 /configure | |
parent | bf01a8204bac52cdc078e7c82922bf10863adfc4 (diff) | |
download | txr-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-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 |