Skip to content

Commit d5d5e57

Browse files
committed
tweak build script
1 parent ce270cb commit d5d5e57

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

scripts/ninja.js

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -557,9 +557,9 @@ function replaceCmj(x) {
557557
* @param {string} y
558558
*/
559559
function sourceToTarget(y) {
560-
if (y.endsWith(".ml") || y.endsWith(".re")) {
560+
if (y.endsWith(".ml") || y.endsWith(".re") || y.endsWith(".res")) {
561561
return replaceExt(y, ".cmj");
562-
} else if (y.endsWith(".mli") || y.endsWith(".rei")) {
562+
} else if (y.endsWith(".mli") || y.endsWith(".rei") || y.endsWith(".resi")) {
563563
return replaceExt(y, ".cmi");
564564
}
565565
return y;
@@ -1201,6 +1201,8 @@ ${mllList(ninjaCwd, [
12011201
return (
12021202
x.endsWith(".re") ||
12031203
x.endsWith(".rei") ||
1204+
x.endsWith(".resi") ||
1205+
x.endsWith(".res") ||
12041206
((x.endsWith(".ml") || x.endsWith(".mli")) && !x.endsWith("bspack.ml"))
12051207
);
12061208
});

0 commit comments

Comments
 (0)