summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2021-03-01 07:27:50 -0800
committerKaz Kylheku <kaz@kylheku.com>2021-03-01 07:27:50 -0800
commitfca2d072a603ef850b46a036fa6df354da2e0d40 (patch)
treeae9858180b00a21d28570b24ccdaebc8fa2665ca
parent63e94bdae67101bbcc52a660a9161d86a05d5146 (diff)
downloadtxr-fca2d072a603ef850b46a036fa6df354da2e0d40.tar.gz
txr-fca2d072a603ef850b46a036fa6df354da2e0d40.tar.bz2
txr-fca2d072a603ef850b46a036fa6df354da2e0d40.zip
configure: remove yacc_is_newer_bison.
* configure (yacc_is_newer_bison): Configuration variable removed. (gen_config_make): Generation of yacc_is_newer_bison make variable removed.
-rwxr-xr-xconfigure3
1 files changed, 0 insertions, 3 deletions
diff --git a/configure b/configure
index b65bbaf5..57957410 100755
--- a/configure
+++ b/configure
@@ -160,7 +160,6 @@ yaccname_given=
yaccname='' # test tries $(YACC) first
yacc='$(cross)$(tool_prefix)$(yaccname)'
yacc_given=
-yacc_is_newer_bison=
nm='$(cross)$(tool_prefix)nm'
opt_flags='-O2 -fno-stack-protector'
lang_flags='-D_XOPEN_SOURCE=700 -D_POSIX_C_SOURCE=200112 -D_GNU_SOURCE'
@@ -905,8 +904,6 @@ have_git := $have_git
add_win_res := $([ -n "$have_windows_h" -a -n "$have_windres" ] && echo "y")
-yacc_is_newer_bison := $yacc_is_newer_bison
-
TXR_CC := $cc
TXR_LEX := $lex
TXR_YACC := $yacc