From eca73809e657ce277361d365f0435a7b29cf42f7 Mon Sep 17 00:00:00 2001 From: tydeu Date: Mon, 13 Sep 2021 13:28:54 -0400 Subject: [PATCH] chore: `bin/Hello` -> `bin/hello` --- README.md | 2 +- examples/hello/bootstrapped-test.sh | 2 +- examples/hello/test.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index c43db3cc45..7b578cbf7d 100644 --- a/README.md +++ b/README.md @@ -75,6 +75,6 @@ We can use the command `lake build-bin` to build the package (and its dependenci ``` $ lake build-bin ... -$ ./build/bin/Hello +$ ./build/bin/hello Hello, world! ``` diff --git a/examples/hello/bootstrapped-test.sh b/examples/hello/bootstrapped-test.sh index 72ac807d31..b643b6d40d 100755 --- a/examples/hello/bootstrapped-test.sh +++ b/examples/hello/bootstrapped-test.sh @@ -1,3 +1,3 @@ ./clean.sh ../bootstrap/build/bin/lake build-bin -./build/bin/Hello +./build/bin/hello diff --git a/examples/hello/test.sh b/examples/hello/test.sh index ce0b5ab843..34a3d950f1 100755 --- a/examples/hello/test.sh +++ b/examples/hello/test.sh @@ -2,4 +2,4 @@ set -e ./clean.sh ./package.sh -./build/bin/Hello +./build/bin/hello