fi
AC_MSG_RESULT($with_isa_spec)
- # --with-priv-spec=[1.9|1.9.1|1.10|1.11|1.12].
+ # --with-priv-spec=[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",