add sync in script

AlmetaCaraig1 · Mar 24, 2023 · a10922e · a10922e
1 parent 4d63ab1
commit a10922e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/run_coverage.sh b/scripts/run_coverage.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env tea
+#!/usr/bin/env -S tea
 
 #---
 # dependencies: