function info { echo "INFO: $*" } function warn { >&2 echo "WARN: $*" } function error { >&2 echo "ERROR: $* Cannot continue" exit 1 } additional_files=("Generated" "TVMBootstrap.dll" "launch.bat") game_files=("BH3Base.dll" "UnityPlayer.dll")