chore: tests delete everything in .lake, to avoid incompatible header

tests/pkg/builtin_attr/test.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build

tests/pkg/deriving/test.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build

tests/pkg/frontend/test.sh

@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build
 
 # Check that we can compile a file which shares with the executable

tests/pkg/misc/test.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build

tests/pkg/prv/test.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build 2>&1 | grep 'error: .*: field.*private'

tests/pkg/test_extern/test.sh

@@ -8,7 +8,7 @@
 # Ideally there would be a more principled testing framework
 # that took care of all this!
 
-rm -rf .lake/build
+rm -rf .lake
 
 # Function to process the output
 verify_output() {

tests/pkg/user_attr/test.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build

tests/pkg/user_attr_app/test.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build && ./.lake/build/bin/user_attr

tests/pkg/user_ext/test.sh

@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 
-rm -rf .lake/build
+rm -rf .lake
 lake build -v 2>&1 | grep 'hello, test, world'