From db1880d8c5f261624344eee88255e574b1e4d130 Mon Sep 17 00:00:00 2001
From: Pavel Durov <pavel@p3ld3v.dev>
Date: Fri, 7 Jun 2024 09:25:22 +0100
Subject: [PATCH] Remove onelua build command from example script.

---
 creduce/cvise.example.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/creduce/cvise.example.sh b/creduce/cvise.example.sh
index 617d2ee..513ddc4 100755
--- a/creduce/cvise.example.sh
+++ b/creduce/cvise.example.sh
@@ -3,12 +3,12 @@
 set -e
 
 if [ -z "${YKLUA_HOME}" ]; then
-    echo "YKLUA_HOME environment variable is not defined."; 
+    echo "YKLUA_HOME environment variable is not defined.";
     exit 1
 fi
 
 if [ -z "${YK_BUILD_TYPE}" ]; then
-    echo "YK_BUILD_TYPE environment variable is not defined."; 
+    echo "YK_BUILD_TYPE environment variable is not defined.";
     exit 1
 fi
 
@@ -21,7 +21,5 @@ fi
 cp -r "${YKLUA_HOME}/creduce/src" ./
 cd ./src
 
-make onelua
-
 # oracle
 ./onelua -e "print('hello world')" | grep "hello world"