diff options
| author | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2022-01-05 14:57:28 +0100 |
|---|---|---|
| committer | Philipp Tomsich <philipp.tomsich@vrull.eu> | 2022-01-07 23:41:25 +0100 |
| commit | 9fba072133e0463467e7927c2bebc994502bb7dc (patch) | |
| tree | 97b7b5520c5f7f7ffc1a849f729cfda22a2630c7 /gas/configure | |
| parent | 86d39e66f5bfccc461865b740e8a9049fe1a048e (diff) | |
RISC-V: update docs to reflect privileged spec v1.9 has been dropped
After commit d8af286fffa ("RISC-V: Drop the privileged spec v1.9
support.") has removed support for privileged spec v1.9, this removes
it from the documentation.
References: d8af286fffa ("RISC-V: Drop the privileged spec v1.9 support.")
gas/ChangeLog:
* configure: Regenerate.
* configure.ac: Remove reference to priv spec 1.9.
* 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 65bd7c973d..12ca81bb16 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|1.12]. + # --with-priv-spec=[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 |