fix a build bug when no cmi provided

bobzhang · bobzhang · commit c5d5c66dcd8d · 2020-05-15T14:02:04.000+08:00
diff --git a/scripts/ninja.js b/scripts/ninja.js
@@ -329,7 +329,7 @@ function updateDepsKVsByModule(target, modules, depsMap) {
       let filenameAsCmi = filename + ".cmi";
       let filenameAsCmj = filename + ".cmj";
       if (target.endsWith(".cmi")) {
-        if (depsMap.has(filenameAsCmi)) {
+        if (depsMap.has(filenameAsCmi) || depsMap.has(filenameAsCmj)) {
           s.add(fileTarget(filenameAsCmi));
         }
       } else if (target.endsWith(".cmj")) {

Original file line number	Diff line number	Diff line change
`@@ -329,7 +329,7 @@ function updateDepsKVsByModule(target, modules, depsMap) {`
`329`	`329`	`let filenameAsCmi = filename + ".cmi";`
`330`	`330`	`let filenameAsCmj = filename + ".cmj";`
`331`	`331`	`if (target.endsWith(".cmi")) {`
`332`		`- if (depsMap.has(filenameAsCmi)) {`
	`332`	`+ if (depsMap.has(filenameAsCmi) \|\| depsMap.has(filenameAsCmj)) {`
`333`	`333`	`s.add(fileTarget(filenameAsCmi));`
`334`	`334`	`}`
`335`	`335`	`} else if (target.endsWith(".cmj")) {`