diff --git a/buildspec-linux-clang-3.8.yml b/buildspec-linux-clang-3.8.yml
index 979e9a88012..e7d8fe0312f 100644
--- a/buildspec-linux-clang-3.8.yml
+++ b/buildspec-linux-clang-3.8.yml
@@ -14,7 +14,6 @@ phases:
   build:
     commands:
       - echo Build started on `date`
-      - git submodule update --init --recursive
       - make -C src minisat2-download
       - make -C jbmc/src setup-submodules
       - make -C src CXX='ccache /usr/bin/clang++-3.8' CXX_FLAGS='-Qunused-arguments -DDEBUG'