aboutsummaryrefslogtreecommitdiff
path: root/gas/configure
diff options
context:
space:
mode:
authorPhilipp Tomsich <philipp.tomsich@vrull.eu>2022-01-04 18:12:32 +0100
committerPhilipp Tomsich <philipp.tomsich@vrull.eu>2022-01-07 23:40:30 +0100
commit86d39e66f5bfccc461865b740e8a9049fe1a048e (patch)
tree71e4d941cd9d1953f94d3e947f88b393e4c02ce3 /gas/configure
parent8d5e08e10e9e5e9a8998057544c8c153779aa3f5 (diff)
downloadgdb-86d39e66f5bfccc461865b740e8a9049fe1a048e.zip
gdb-86d39e66f5bfccc461865b740e8a9049fe1a048e.tar.gz
gdb-86d39e66f5bfccc461865b740e8a9049fe1a048e.tar.bz2
RISC-V: update docs for -mpriv-spec/--with-priv-spec for 1.12
While support for the privileged spec was added in a63375ac337 ("RISC-V: Hypervisor ext: support Privileged Spec 1.12"), the documentation has not been updated. Add 1.12 to the relevant documentation. References: a63375ac337 ("RISC-V: Hypervisor ext: support Privileged Spec 1.12") gas/ChangeLog: * config/tc-riscv.c: Add 1.12 to the usage message. * configure: Regenerate. * configure.ac: Add 1.12 to the help/usage message. * po/fr.po: Same. * po/ru.po: Same. * po/uk.po: Same.
Diffstat (limited to 'gas/configure')
-rwxr-xr-xgas/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/configure b/gas/configure
index abe8a80..65bd7c9 100755
--- a/gas/configure
+++ b/gas/configure
@@ -12473,7 +12473,7 @@ _ACEOF
{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $with_isa_spec" >&5
$as_echo "$with_isa_spec" >&6; }
- # --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].
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for default configuration of --with-priv-spec" >&5
$as_echo_n "checking for default configuration of --with-priv-spec... " >&6; }
if test "x${with_priv_spec}" != x; then