summaryrefslogtreecommitdiff
path: root/main/main.cpp
diff options
context:
space:
mode:
authorJuan Linietsky <reduzio@gmail.com>2015-11-28 20:57:23 -0300
committerJuan Linietsky <reduzio@gmail.com>2015-11-28 20:57:23 -0300
commit68aaa0f813bed1e33a55b05d70c560023a3d0c6a (patch)
tree91a4400e48eb2183d4b15ea526a2f253017fb210 /main/main.cpp
parent7aa39b7cae364347cf379bb8f216adf0a79f37c7 (diff)
parent68c56f81f9f77f1296826be382958e2ecc38826b (diff)
Merge branch 'master' of https://github.com/godotengine/godot
Diffstat (limited to 'main/main.cpp')
-rw-r--r--main/main.cpp11
1 files changed, 11 insertions, 0 deletions
diff --git a/main/main.cpp b/main/main.cpp
index 80a7cbc5fc..a060dbd232 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -1086,6 +1086,17 @@ bool Main::start() {
#endif
+ if (_export_platform!="") {
+ if (game_path=="") {
+ String err="Command line param ";
+ err+=export_debug?"-export_debug":"-export";
+ err+=" passed but no destination path given.\n";
+ err+="Please specify the binary's file path to export to. Aborting export.";
+ ERR_PRINT(err.utf8().get_data());
+ return false;
+ }
+ }
+
if(script=="" && game_path=="" && String(GLOBAL_DEF("application/main_scene",""))!="") {
game_path=GLOBAL_DEF("application/main_scene","");
}