12876: Merge branch 'master' into 12876-arvados-client
[arvados.git] / build / run-build-packages-one-target.sh
index 2af01e3134d4797d6c601ad603e8449e90fd045d..c981b2a9ef679509bb24f7ecd25d005fb9d50920 100755 (executable)
@@ -162,6 +162,7 @@ popd
 if test -z "$packages" ; then
     packages="arvados-api-server
         arvados-client
+        arvados-docker-cleaner
         arvados-git-httpd
         arvados-node-manager
         arvados-src
@@ -180,10 +181,6 @@ if test -z "$packages" ; then
         python-arvados-fuse
         python-arvados-python-client
         python-arvados-cwl-runner"
-
-    if [[ $TARGET != centos7 ]]; then
-        packages="$packages arvados-docker-cleaner"
-    fi
 fi
 
 FINAL_EXITCODE=0