--- a/src/Pure/IsaMakefile Wed Dec 14 10:18:28 2011 +0100 +++ b/src/Pure/IsaMakefile Wed Dec 14 12:02:02 2011 +0100 @@ -8,6 +8,7 @@ images: Pure test: RAW all: images test +full: all smlnj: all