fix scripts (#53)

Beluga-lang · May 4, 2024 · d959446 · d959446
1 parent 2a0e057
commit d959446
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/check_projects.sh b/.github/scripts/check_projects.sh
@@ -10,7 +10,7 @@ error_out () {
 
 cd "${dir}"
 
-for f in *.v; do
+for f in `find -name '*.v'`; do
     grep -q -F "${f}" _CoqProject || error_out "${f}"
 done