We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a8b5265 commit 1610619Copy full SHA for 1610619
scripts/watcher.js
@@ -230,7 +230,7 @@ function exec() {
230
231
function watch$1(dir) {
232
return makeWatcher(dir, function (_, fileName) {
233
- if (fileName.endsWith(".ml") || fileName.endsWith(".mli") || fileName.endsWith(".cppo") || fileName.endsWith(".js") || fileName === "Makefile" || fileName === "Makefile.shared") {
+ if (fileName.endsWith(".ml") || fileName.endsWith(".mli") || fileName.endsWith(".cppo") || fileName.endsWith(".js") || fileName === "Makefile" || fileName === "Makefile.shared" || fileName.endsWith(".mll")) {
234
return exec(/* () */0);
235
} else {
236
return 0;
0 commit comments