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

fix: --no-build lake test for new naming scheme

Browse source
This commit is contained in:
Henrik Böving 2023-11-02 22:03:16 +01:00 • committed by Sebastian Ullrich
parent 59d3b3d85a
commit 1d061da98f
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/lake/tests/noBuild/test.sh
View file

@ -18,7 +18,7 @@ $LAKE print-paths Test --no-build
# Test `--no-build` for file builds (`buildFileUnlessUpToDate`)
$LAKE build +Test:o --no-build && exit 1 || [ $? = $NO_BUILD_CODE ]
test ! -f build/ir/Test.o
test ! -f build/ir/Test.c.o
$LAKE build +Test:o
test -f build/ir/Test.o
test -f build/ir/Test.c.o
$LAKE build +Test:o --no-build