diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2014-01-31 15:05:21 -0800 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2014-01-31 15:05:21 -0800 |
commit | 7ce11fa924df1acb8f8f156e78d6949bb21dfe73 (patch) | |
tree | e7c8a5b9aa88658c92b8f8d7621bc4dda28e8fcd /configure | |
parent | 37d00fe0d64eef90318671fad2839fc552bfdc5d (diff) | |
download | txr-7ce11fa924df1acb8f8f156e78d6949bb21dfe73.tar.gz txr-7ce11fa924df1acb8f8f156e78d6949bb21dfe73.tar.bz2 txr-7ce11fa924df1acb8f8f156e78d6949bb21dfe73.zip |
* configure: remove stray debugging printf from the
GNU Make check. This was introduced in May 2012.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -418,7 +418,6 @@ if [ -z "$make" ] ; then for make in make gmake ; do output=$($make --version 2> /dev/null) || true set -- $output - printf "\$@=<$1> <$2> <$3>\n" if [ $1 != "GNU" -o $2 != "Make" ] ; then continue |