src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Mon Jul 23 19:07:01 2012 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 24 08:12:15 2012 +0200
@@ -59,6 +59,7 @@
   HOL-Nitpick_Examples \
   HOL-Number_Theory \
   HOL-Old_Number_Theory \
+  HOL-Quickcheck_Examples \
   HOL-Quotient_Examples \
   HOL-Predicate_Compile_Examples \
   HOL-Prolog \
@@ -93,7 +94,7 @@
   HOL-Nominal-Examples
 
 all: test-no-smlnj test images-no-smlnj images
-full: all benchmark HOL-Quickcheck_Examples
+full: all benchmark
 smlnj: test images