enable pretty in run.bash

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

enable pretty in run.bash
R=rsc DELTA=5 (0 added, 0 deleted, 5 changed) OCL=25651 CL=25655
e8e894bf · Rob Pike · 5ef8e1d4 · e8e894bf
Commit e8e894bf authored Mar 03, 2009 by Rob Pike
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 5 deletions

src/run.bash src/run.bash +5 -5

No files found.
--- a/src/run.bash
+++ b/src/run.bash
@@ -48,11 +48,11 @@ time make
 GOMAXPROCS=10 make test
 ) || exit $?
-# (xcd ../usr/gri/pretty
+(xcd ../usr/gri/pretty
-# make clean
+make clean
-# time make
+time make
-# make smoketest
+make smoketest
-# ) || exit $?
+) || exit $?
 (xcd ../doc/progs
 time ./run