max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: bin/Hello -> bin/hello

Browse source
This commit is contained in:
tydeu 2021-09-13 13:28:54 -04:00
parent e3ec2b9e39
commit eca73809e6
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -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!
```

2
examples/hello/bootstrapped-test.sh
View file

@ -1,3 +1,3 @@
./clean.sh
../bootstrap/build/bin/lake build-bin
./build/bin/Hello
./build/bin/hello

2
examples/hello/test.sh
View file

@ -2,4 +2,4 @@ set -e
./clean.sh
./package.sh
./build/bin/Hello
./build/bin/hello