summaryrefslogtreecommitdiffstats
path: root/cluster/atlas/BUILD
diff options
context:
space:
mode:
Diffstat (limited to 'cluster/atlas/BUILD')
-rwxr-xr-xcluster/atlas/BUILD13
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