X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fpatch_deps.sh;h=cd9f09c8976277102a8ce1dbf84b3d9cb5dce574;hb=4c2a5e7da43e15d9a5f35d65f6bd6eda9a117d93;hp=2abbbeab10308c2f01458b8209390f5f42614691;hpb=9b8a57ace85bca07520ba9434e67051d86e492f6;p=helm.git

diff --git a/helm/ocaml/patch_deps.sh b/helm/ocaml/patch_deps.sh
index 2abbbeab1..cd9f09c89 100755
--- 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