From 9f97213ec534e39704568fb59574142ce178b6c5 Mon Sep 17 00:00:00 2001 From: Quinn Dougherty Date: Mon, 11 Apr 2022 01:24:56 -0400 Subject: [PATCH] added deeper path in lint.sh --- packages/squiggle-lang/lint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/squiggle-lang/lint.sh b/packages/squiggle-lang/lint.sh index 42faeda9..237ea262 100755 --- a/packages/squiggle-lang/lint.sh +++ b/packages/squiggle-lang/lint.sh @@ -3,7 +3,7 @@ # Hat tip to @dfalling # https://forum.rescript-lang.org/t/rescript-9-1-how-can-we-format-to-standard-out/1590/2?u=quinn-dougherty -files=`ls src/rescript/**/*.res src/rescript/*.res` +files=`ls src/rescript/**/**/*.res src/rescript/**/*.res src/rescript/*.res` errors=false for file in $files do