#! /bin/bash SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )" cd "$SCRIPT_DIR" if [ -z "$1" ] || [ $# -eq 0 ] then ./third-party/premake5/premake5 --config=Debug ecc else ./third-party/premake5/premake5 --config=$1 ecc fi