From 5b34d28329e2f41dcd36f1e869a6a4e3c4c895c8 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Tue, 4 Jun 2019 16:19:31 +0100
Subject: [PATCH] Regularise the AWS CodeBuild Clang buildspecs

Check out the diff vs. buildspec.yml and you'll see these are now much more regular.
This duplication and drift is a vindication of Travis' "matrix" approach if you ask me ;)
---
 buildspec-linux-clang-3.8.yml | 1 -
 1 file changed, 1 deletion(-)

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'