update circleci config

2018-03-12 22:16:24 +00:00 · 2018-03-12 22:16:24 +00:00 · 1bf58f17b1
commit 1bf58f17b1
parent 7638e505f1
1 changed files with 3 additions and 4 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -10,10 +10,9 @@ jobs:
          command: |
            apt-get update -qq
            apt-get install -y g++ clang-5.0 cmake git wget ssh patchelf
-     - checkout:
-          post:
-            - git submodule sync
-            - git submodule update --init
+      - checkout
+      - run: git submodule sync
+      - run: git submodule update --init
      - run:
          name: Generate Make files
          command: |