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

chore: improve shell scripts

Browse source
This commit is contained in:
tydeu 2021-07-10 12:36:13 -04:00
parent d1674a6ba0
commit 1ccebe9b89
5 changed files with 20 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
clean.sh Normal file
View file

@ -0,0 +1 @@
rm -rf build

6
examples/deps/clean.sh
View file

@ -1,3 +1,3 @@
rm -r a/build
rm -r b/build
rm -r foo/build
rm -rf a/build
rm -rf b/build
rm -rf foo/build

2
examples/hello/clean.sh
View file

@ -1 +1 @@
rm -r build
rm -rf build

2
examples/io/clean.sh
View file

@ -1 +1 @@
rm -r build
rm -rf build

14
examples/test.sh Normal file
View file

@ -0,0 +1,14 @@
echo 'testing hello'
cd hello
./test.sh
cd ..
echo 'testing io'
cd io
./test.sh
cd ..
echo 'testing deps'
cd deps
./test.sh
cd ..