diff --git a/tests/pkg/rebuild/test.sh b/tests/pkg/rebuild/test.sh index db64974a9c..6da1f9fe0f 100755 --- a/tests/pkg/rebuild/test.sh +++ b/tests/pkg/rebuild/test.sh @@ -1,6 +1,8 @@ #!/usr/bin/env bash set -euxo pipefail +source ../../../src/lake/tests/common.sh + rm -rf .lake/build mkdir -p Rebuild @@ -24,7 +26,7 @@ echo "-- test" >> Rebuild/Basic.lean test_unchanged # Closed terms do not matter. -sed -i 's/"world"/"wodd"/' Rebuild/Basic.lean +sed_i 's/"world"/"wodd"/' Rebuild/Basic.lean test_unchanged # Private declarations do not matter. @@ -32,7 +34,7 @@ echo 'theorem priv : True := .intro' >> Rebuild/Basic.lean test_unchanged # Lambdas do not matter. -sed -i 's/"wodd"/dbg_trace "typo"; \0/' Rebuild/Basic.lean +sed_i 's/"wodd"/dbg_trace "typo"; "wodd"/' Rebuild/Basic.lean test_unchanged # Private definitions do not matter.