diff --git a/mps/home/bin/build/MM_src_trunk b/mps/home/bin/build/MM_src_trunk index db9ea5be537..8fad6fef396 100644 --- a/mps/home/bin/build/MM_src_trunk +++ b/mps/home/bin/build/MM_src_trunk @@ -2,7 +2,7 @@ # # Build and test MM at tip of main trunk (the MM_src compound) # -# $HopeName: HOMEmm!bin:build:MM_src_trunk(trunk.9) $ +# $HopeName: HOMEmm!bin:build:MM_src_trunk(trunk.10) $ # script="`basename $0`" @@ -39,7 +39,8 @@ do die "Unable to build library $lib of trunk" done -for test in amcss dwstress lockcov locv mpmss mpsicv poolncv qs mpmconft +for test in amcss dwstress lockcov locv mpmss mpsicv poolncv \ + qs mpmconft finalcv do gnumake -r -f sus8gc.gmk $test && for variety in df dp ds ro