We don't need to build the lua executable here.

This step only requires us to build the merged lua sources into onelua.c.
ykjit · Jun 7, 2024 · fcb6980 · fcb6980
1 parent 08ec941
commit fcb6980
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/creduce/build_onelua.sh b/creduce/build_onelua.sh
@@ -18,4 +18,4 @@ cp "./one.c" "./src/one.c"
 
 cd "./src"
 
-make onelua
+make onelua.c