From 7b5067c1faaa4dac7633965280bff93d6dd6f83d Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Wed, 9 Jan 2019 21:28:22 +0200
Subject: [PATCH] Make circle.yml identical on master and develop

---
 circle.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/circle.yml b/circle.yml
index 37c320b350..e492b394c2 100644
--- a/circle.yml
+++ b/circle.yml
@@ -22,7 +22,8 @@ machine:
         echo 'python "${HOME}/${SCRIPT}.py" "$@"' >> "${HOME}/script.sh"
         chmod +x "${HOME}/script.sh"
   post:
-    - sudo apt-get update; sudo apt-get install xsltproc
+    - sudo apt-get update
+    - sudo apt-get install xsltproc
     - exec "${HOME}/script.sh" machine_post
 checkout:
   post: