# HG changeset patch
# User wenzelm
# Date 1438100859 -7200
# Node ID 9372f29acd47b2854f6e193535881029a6719e5c
# Parent  9ede42599eeb047fb48253383771720da7613624
evade timeout problem on macbroy6 (potentially due to NFS oddities);

diff -r 9ede42599eeb -r 9372f29acd47 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Tue Jul 28 17:15:01 2015 +0100
+++ b/Admin/isatest/isatest-makedist	Tue Jul 28 18:27:39 2015 +0200
@@ -117,7 +117,7 @@
   $MAKEALL $HOME/settings/mac-poly-M8-skip_proofs;
   $MAKEALL $HOME/settings/mac-poly-M8-quick_and_dirty"
 sleep 15
-$SSH macbroy6 "$MAKEALL $HOME/settings/mac-poly64-M2"
+$SSH macbroy6 "$MAKEALL -x HOL-Mirabelle-ex $HOME/settings/mac-poly64-M2"
 sleep 15
 $SSH macbroy30 "$MAKEALL $HOME/settings/mac-poly-M2"
 sleep 15