enable pretty in run.bash

R=rsc
DELTA=5  (0 added, 0 deleted, 5 changed)
OCL=25651
CL=25655

diff --git a/src/run.bash b/src/run.bash
index a7e57f1fdbffe788599ee126d6d7d06760217be9..2c5636cfa43611445d31f86887228b6631479b42 100755 (executable)
--- a/src/run.bash
+++ b/src/run.bash
@@ -48,11 +48,11 @@ time make
 GOMAXPROCS=10 make test
 ) || exit $?
 
-# (xcd ../usr/gri/pretty
-# make clean
-# time make
-# make smoketest
-# ) || exit $?
+(xcd ../usr/gri/pretty
+make clean
+time make
+make smoketest
+) || exit $?
 
 (xcd ../doc/progs
 time ./run