summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRémi Verschelde <remi@verschelde.fr>2015-11-26 23:06:13 +0100
committerRémi Verschelde <remi@verschelde.fr>2015-11-26 23:06:13 +0100
commit82413bd2a1533f31a39de196411be2df0b8f4bad (patch)
tree292ff95df012c3c90d03877a55378a3e6c55dda5
parent772900c4ff9597d8f4e23ca9198eeaec757bb008 (diff)
parent523b67e740121b0f429676a6e2e76520030e872d (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.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","");
}