From 17c0be718e0ea3cd7860eb3961dfe266662c0038 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno@eressea.de>
Date: Mon, 16 Dec 2024 17:42:32 +0100
Subject: [PATCH] warn when Lua script cannot be used

---
 src/main.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main.c b/src/main.c
index 5035f370d..e56651a43 100644
--- a/src/main.c
+++ b/src/main.c
@@ -308,6 +308,9 @@ int main(int argc, char **argv)
         return err;
     }
 #else
+    if (luafile) {
+        log_error("Lua is disabled, cannot execute %s", luafile);
+    }
     run_turn();
 #endif
     game_done();