diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2015-11-26 23:06:13 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2015-11-26 23:06:13 +0100 |
commit | 82413bd2a1533f31a39de196411be2df0b8f4bad (patch) | |
tree | 292ff95df012c3c90d03877a55378a3e6c55dda5 | |
parent | 772900c4ff9597d8f4e23ca9198eeaec757bb008 (diff) | |
parent | 523b67e740121b0f429676a6e2e76520030e872d (diff) |
Merge pull request #2921 from est31/error_if_no_export_to
Print error if no export destination has been passed
-rw-r--r-- | main/main.cpp | 11 |
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",""); } |