fix #4716

bobzhang · bobzhang · commit 51315638cf9b · 2020-09-22T14:11:15.000+08:00
diff --git a/.gitmodules b/.gitmodules
@@ -5,3 +5,6 @@
 	path = syntax
 	url = https://github.com/rescript-lang/syntax
 	branch = master
+[submodule "ninja"]
+	path = ninja
+	url = git@github.com:rescript-lang/ninja.git
diff --git a/ninja b/ninja
@@ -0,0 +1 @@
+Subproject commit 6deefad975e77cb22d3514f3aff083d8471a2457
diff --git a/vendor/ninja.tar.gz b/vendor/ninja.tar.gz
