From 1d47e10cc6a1eff7989a07ef78196140c1781014 Mon Sep 17 00:00:00 2001
From: Geert Custers <geert.aj.custers@gmail.com>
Date: Fri, 28 Aug 2020 12:19:07 +0200
Subject: [PATCH] scripts: add abi-link.sh script

---
 scripts/abi-link.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 scripts/abi-link.sh

diff --git a/scripts/abi-link.sh b/scripts/abi-link.sh
new file mode 100755
index 00000000..4ca04f2c
--- /dev/null
+++ b/scripts/abi-link.sh
@@ -0,0 +1,12 @@
+#!/bin/bash
+# USAGE: put files and ports in the arrays below and export the abi you want to use
+
+
+declare -a files=()
+declare -a ports=()
+
+for file in "${files[@]}"; do
+	for port in "${ports[@]}"; do
+	    ln -rs abis/$abi/$file sysdeps/$port/include/abi-bits/$file
+	done
+done