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