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 b1eaf3abe6..d3d2c69bf5 100755 --- a/src/run.bash +++ b/src/run.bash @@ -45,7 +45,7 @@ gomake testshort GOMAXPROCS=10 gomake testshort ) || exit $? -(xcd cmd/ebnflint +(xcd pkg/exp/ebnflint time gomake test ) || exit $? |