[#696] Copy linux bin correctly into docker

.circleci/config.yml

@@ -122,7 +122,7 @@ jobs:
       - persist_to_workspace:
           root: ./
           paths:
-            - bb
+            - bb-binary
       - run:
           name: Release
           command: |
@@ -309,6 +309,9 @@ jobs:
       - checkout
       - attach_workspace:
           at: ./
+      - run:
+          name: Move binary to root
+          command: mv bb-binary/bb bb
       - run:
           name: "Pull Submodules"
           command: |

Dockerfile.ci

@@ -6,4 +6,6 @@ RUN apt-get update \
 
 COPY bb /usr/local/bin/bb
 
+RUN chmod +x /usr/local/bin/bb
+
 CMD ["bb"]