From fcb6980f7fe5d311c366c6b0668bca310e38dc5f Mon Sep 17 00:00:00 2001 From: Edd Barrett Date: Fri, 7 Jun 2024 13:29:53 +0100 Subject: [PATCH] We don't need to build the lua executable here. This step only requires us to build the merged lua sources into onelua.c. --- creduce/build_onelua.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/creduce/build_onelua.sh b/creduce/build_onelua.sh index 8aa4de5..eba34e5 100644 --- 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