# HG changeset patch
# User wenzelm
# Date 1450908942 -3600
# Node ID f69fb37dc7696e2e4c854d179a40cd5283e89439
# Parent  17ba31a2303b970b0656021d0f74e74d6537c7c8
less ambitious test;

diff -r 17ba31a2303b -r f69fb37dc769 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Dec 23 23:13:16 2015 +0100
+++ b/Admin/isatest/isatest-makedist	Wed Dec 23 23:15:42 2015 +0100
@@ -102,7 +102,7 @@
 
 $SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly"
 sleep 15
-$SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH lxbroy3 "$MAKEALL -l HOL-Unix $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH lxbroy4 "
   $MAKEALL -l HOL-Library $HOME/settings/at-poly;