Revert "runtime4 changes for Makefile.upstream"

This reverts commit ff18be6.
lukemaurer · Oct 22, 2024 · 01f377b · 01f377b
1 parent ff18be6
commit 01f377b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/runtime4/dune b/runtime4/dune
@@ -81,7 +81,6 @@
   ../Makefile.build_config
   ../Makefile.config_if_required
   ../Makefile.common
-  ../Makefile.upstream
   Makefile
   (glob_files caml/*.h)
   caml/domain_state.tbl
@@ -94,7 +93,7 @@
    (progn
     (bash "touch .depend") ; hack.
     (run make "SAK_LINK=cc -o $(1) $(2)" COMPUTE_DEPS=false sak)
-    (run make -sj8 -f Makefile.upstream %{targets} COMPUTE_DEPS=false)
+    (run make -sj8 %{targets} COMPUTE_DEPS=false)
     (bash "rm .depend")))))
 
 (install