https://github.com/gapt/gapt
Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
release 2.16.0
release 2.16.0
Tip revision: 2f9ab4b
gapt.sh
#!/usr/bin/env bash
basedir="$(dirname "$0")"
. "$basedir/include.sh"
while getopts "hm:" FLAG; do
case $FLAG in
m) heap_size="$OPTARG" ;;
*)
echo "GAPT Command Line Interface"
echo ""
echo "usage: gapt.sh [-h] [-m MEM]"
echo ""
echo " -h : Prints usage information."
echo " -m : give MEM amount of memory to the java virtual machine (default: 2g)"
exit 1
;;
esac
done
shift $(expr $OPTIND - 1 )
run_gapt gapt.cli.CLIMain "$@"