File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed
Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -557,9 +557,9 @@ function replaceCmj(x) {
557557 * @param {string } y
558558 */
559559function 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 } ) ;
You can’t perform that action at this time.
0 commit comments