piggyback: lint.sh script reflect adjustment of file subtree

2022-06-22 18:04:42 -04:00 · 2022-06-22 18:04:42 -04:00 · a7bd12a8a4
commit a7bd12a8a4
parent 9b8b4e5407
1 changed files with 1 additions and 1 deletions
--- a/packages/squiggle-lang/lint.sh
+++ b/packages/squiggle-lang/lint.sh
@ -19,7 +19,7 @@ do
  fi
 done

-files=`ls src/rescript/**/**/*.resi src/rescript/**/*.resi`  # src/rescript/*/resi
+files=`ls src/rescript/**/*.resi`  # src/rescript/*/resi
 for file in $files
 do
  current=`cat $file`