diff options
author | Jack Lloyd <[email protected]> | 2018-01-09 10:53:02 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-01-09 10:53:02 -0500 |
commit | 9977b326c8440c1e38d759bd7f9713f2501ff4f9 (patch) | |
tree | 69484cb78a7ff9c66eefe6fa33198a67b03bb8f6 | |
parent | 8b49616e0aecad98e878d0d6e559e46ced9db17d (diff) |
Recognize armv7-a [ci skip]
-rw-r--r-- | src/build-data/arch/arm32.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/build-data/arch/arm32.txt b/src/build-data/arch/arm32.txt index d8a0780ec..38e7dcab8 100644 --- a/src/build-data/arch/arm32.txt +++ b/src/build-data/arch/arm32.txt @@ -10,6 +10,7 @@ evbarm # For NetBSD armv7 armv7l +armv7-a </aliases> <isa_extensions> |