From f3d8fcc85dfaa147287e7cf155e7df4f1ebe78e7 Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Sat, 15 Jan 2022 11:35:40 -0500
Subject: [PATCH] test: don't check for lean-toolchain generation in init
 example

---
 examples/init/test.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/init/test.sh b/examples/init/test.sh
index 0440143c77..9188dfdfc6 100755
--- a/examples/init/test.sh
+++ b/examples/init/test.sh
@@ -7,7 +7,6 @@ set -ex
 ${LAKE:-../../build/bin/lake} new hello.world
 
 cd hello-world
-test -f lean-toolchain
 ${LAKE:-../../../build/bin/lake} build
 ./build/bin/hello-world
 cd ..