Admin/isatest/settings/mac-poly64-M8

--- a/Admin/isatest/settings/mac-poly64-M8	Wed Aug 01 15:46:45 2012 +0200
+++ b/Admin/isatest/settings/mac-poly64-M8	Wed Aug 01 15:50:50 2012 +0200
@@ -26,5 +26,7 @@
 ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
 
+ISABELLE_FULL_TEST=true
+
 init_component "$HOME/contrib_devel/kodkodi-1.2.16"