Huge reorganization of matita and ocaml.

[helm.git] / helm / ocaml / patch_deps.sh

diff --git a/helm/ocaml/patch_deps.sh b/helm/ocaml/patch_deps.sh
index 2abbbeab10308c2f01458b8209390f5f42614691..cd9f09c8976277102a8ce1dbf84b3d9cb5dce574 100755 (executable)
--- a/helm/ocaml/patch_deps.sh
+++ b/helm/ocaml/patch_deps.sh
@@ -1,7 +1,10 @@
 #!/bin/sh
 # script args: source_file target_file
 
-use_clusters='yes'
+use_clusters='no'
+if [ ! -z "$USE_CLUSTERS" ]; then
+  use_clusters=$USE_CLUSTERS
+fi
 
 # args: file snippet
 # file will be modified in place