diff options
Diffstat (limited to 'filedefs.json')
-rw-r--r-- | filedefs.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/filedefs.json b/filedefs.json index 3422eeb252..8ffa3d9cd9 100644 --- a/filedefs.json +++ b/filedefs.json @@ -2,7 +2,7 @@ "cpu": { "arch" : { "armv8-a": { - "cxxflags": ["-march=armv8.2-a"] + "cxxflags": ["-march=armv8-a"] }, "armv8.2-a": { "cxxflags": ["-march=armv8.2-a+fp16"], |