WIP: factorise process execution

dra27 · Oct 15, 2024 · 3210e65 · 3210e65
1 parent fca27a9
commit 3210e65
Show file tree

Hide file tree

Showing 2 changed files with 497 additions and 310 deletions.
diff --git a/.depend b/.depend
@@ -8220,13 +8220,15 @@ tools/sync_dynlink.cmx : \
 tools/sync_dynlink.cmi :
 tools/test_install.cmo : \
     otherlibs/unix/unix.cmi \
+    utils/misc.cmi \
     utils/config.cmi \
     driver/compmisc.cmi \
     utils/ccomp.cmi \
     bytecomp/bytesections.cmi \
     tools/test_install.cmi
 tools/test_install.cmx : \
     otherlibs/unix/unix.cmx \
+    utils/misc.cmx \
     utils/config.cmx \
     driver/compmisc.cmx \
     utils/ccomp.cmx \