diff options
Diffstat (limited to 'gas/configure.ac')
| -rw-r--r-- | gas/configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/configure.ac b/gas/configure.ac index e97ec59..e1d32c3 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", |