diff --git a/test/75/test.sh b/test/75/test.sh index d145a0e81e..941b9305c9 100755 --- a/test/75/test.sh +++ b/test/75/test.sh @@ -5,6 +5,7 @@ LAKE=${LAKE:-../../../build/bin/lake} cd foo rm -rf build +mkdir -p Foo echo $'def a := "a"' > Foo/Test.lean echo $'import Foo.Test def hello := a' > Foo.lean ${LAKE} build