https://github.com/gapt/gapt
Raw File
Tip revision: 2f9ab4b9865f0e3e4b8b04b71d2f0fbf3d1b8623 authored by Jannik Vierling on 21 July 2022, 07:37:48 UTC
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 "$@"
back to top