Remove onelua build command from example script.

ykjit · Jun 7, 2024 · db1880d · db1880d
1 parent b5933a4
commit db1880d
Showing 1 changed file with 2 additions and 4 deletions.
diff --git 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"