diff options
Diffstat (limited to 'debug/targets.py')
| -rw-r--r-- | debug/targets.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/targets.py b/debug/targets.py index 9c1ccf0..e8a606c 100644 --- a/debug/targets.py +++ b/debug/targets.py @@ -162,7 +162,7 @@ class Target: args.append("-DRV32E") else: march = "rv%dima" % hart.xlen - for letter in "fdc": + for letter in "fdcv": if hart.extensionSupported(letter): march += letter args.append("-march=%s" % march) |