make run hello now works

2023-10-10 07:17:30 +02:00 · 2023-10-10 07:17:30 +02:00 · 219d7b9011
parent a12f58ad91
commit 219d7b9011
2 changed files with 4 additions and 1 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -740,7 +740,10 @@ if not "!other!"=="" (
 )

 if "!run!"=="yes" (
-    for /f "tokens=*" %%a in ("!other!") do set exename=%%~na.exe
+    set exename=hello.exe
+    if "!other!"=="" (
+        for /f "tokens=*" %%a in ("!other!") do set exename=%%~na.exe
+    )
    echo run !exename! !run_args!
    !exename! !run_args! || set rc=1
 )
--- a/bind/lua
+++ b/bind/lua