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 dc7fd1f..4c178eb 100644 --- a/gas/configure.ac +++ b/gas/configure.ac @@ -617,7 +617,7 @@ changequote([,])dnl fi AC_MSG_RESULT($with_isa_spec) - # --with-priv-spec=[1.9|1.9.1|1.10|1.11]. + # --with-priv-spec=[1.9|1.9.1|1.10|1.11|1.12]. 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", |