From 454c7c04385a47d511cf8999ccff2746afbab06b Mon Sep 17 00:00:00 2001
From: Jack Lloyd <jack@randombit.net>
Date: Sat, 21 Nov 2020 12:37:06 -0500
Subject: [PATCH] Add superh alias needed by Debian

[Retrieved from:
https://github.com/randombit/botan/commit/454c7c04385a47d511cf8999ccff2746afbab06b]
Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com>
---
 src/build-data/arch/superh.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/build-data/arch/superh.txt b/src/build-data/arch/superh.txt
index 6af6dbe682..8e2833a914 100644
--- a/src/build-data/arch/superh.txt
+++ b/src/build-data/arch/superh.txt
@@ -1,4 +1,5 @@
 
 <aliases>
 sh4
+sh4a
 </aliases>