diff options
| author | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2022-01-04 18:12:32 +0100 |
|---|---|---|
| committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2022-01-07 23:40:30 +0100 |
| commit | 86d39e66f5bfccc461865b740e8a9049fe1a048e (patch) | |
| tree | 71e4d941cd9d1953f94d3e947f88b393e4c02ce3 /gas/configure | |
| parent | 8d5e08e10e9e5e9a8998057544c8c153779aa3f5 (diff) | |
| download | gdb-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-x | gas/configure | 2 |
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 |