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

test: add print-paths of dep modules check

Browse source
This commit is contained in:
tydeu 2021-12-13 20:27:35 -05:00
parent ac47b4fb01
commit 50a84fcd55
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
examples/deps/test.sh
View file

@ -1,6 +1,10 @@
set -e
set -ex
./clean.sh
./package.sh
./foo/build/bin/foo
./bar/build/bin/bar
cd ./foo
${LAKE:-../../../build/bin/lake} print-paths A B
cd ..