diff options
Diffstat (limited to 'gas/configure.ac')
| -rw-r--r-- | gas/configure.ac | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gas/configure.ac b/gas/configure.ac index e97ec59..c65797f 100644 --- a/gas/configure.ac +++ b/gas/configure.ac @@ -653,7 +653,7 @@ changequote([,])dnl fi AC_MSG_RESULT($with_isa_spec) - # --with-priv-spec=[1.9.1|1.10|1.11|1.12]. + # --with-priv-spec=[1.9.1|1.10|1.11|1.12|1.13]. AC_MSG_CHECKING(for default configuration of --with-priv-spec) if test "x${with_priv_spec}" != x; then AC_DEFINE_UNQUOTED(DEFAULT_RISCV_PRIV_SPEC, "$with_priv_spec", @@ -942,7 +942,6 @@ AM_PROG_LEX ALL_LINGUAS="es fi fr id ja ru rw sv tr uk zh_CN" ZW_GNU_GETTEXT_SISTER_DIR -AM_PO_SUBDIRS AM_MAINTAINER_MODE AM_CONDITIONAL(GENINSRC_NEVER, false) |