diff options
Diffstat (limited to 'cluster/atlas/BUILD')
-rwxr-xr-x | cluster/atlas/BUILD | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/cluster/atlas/BUILD b/cluster/atlas/BUILD index 6fe1c64a84..5721d75e75 100755 --- a/cluster/atlas/BUILD +++ b/cluster/atlas/BUILD @@ -13,13 +13,14 @@ make_single && make && cd lib && if [ $PT_LIB == y ]; then - make ptshared && - # newer versions will have ptshared dependent on fat_ptshared - make fat_ptshared + make ptshared else - make shared && - # newer versions will have shared dependent on fat_shared - make fat_shared + make shared fi && cd .. && +make check && +if [ $PT_LIB == y ]; then + make ptcheck +fi && +make time && make_normal |