#!/bin/bash ## # Absolute path to this script, e.g. /home/user/bin/foo.sh SCRIPT=`readlink -f "$0"` # Absolute path this script is in, thus /home/user/bin SCRIPTDIR=`dirname "$SCRIPT"` SCRIPTNAME=`basename "$SCRIPT"` function print_help { echo "Usage: $SCRIPTNAME [-h] -c -v " echo "Generate ISS sources for TGC cores" echo " -c core name" echo " -b ISS backend for which sources are generated, interp,tcc, or llvm" echo " -r repo used for generation" echo " -t