From 986ad266eb3efbf6a88c1dadb416f1caa7aae42b Mon Sep 17 00:00:00 2001 From: ThatBen Date: Wed, 15 May 2024 09:33:30 +0200 Subject: [PATCH] Fixes path in build.sh --- build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 20c045f..55bbe9c 100755 --- a/build.sh +++ b/build.sh @@ -21,7 +21,7 @@ rm -Rf "${sourceDir}/benchmarks" rm "${sourceDir}/util/testutil.cc" # Prelude: -cat "${root}/leveldb/prelude.nim" > "${output}" +cat "${root}/leveldbstatic/prelude.nim" > "${output}" echo >> "${output}" # assemble files to be compiled: