# 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