diff options
Diffstat (limited to 'src/run.bash')
| -rwxr-xr-x | src/run.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/run.bash b/src/run.bash index 72a5406215..bd3067e35c 100755 --- a/src/run.bash +++ b/src/run.bash @@ -19,7 +19,7 @@ make test (xcd ../usr/gri/gosrc make clean time make -make test +# make test ) (xcd ../usr/gri/pretty |