From bb172bcfc5ba2ac28149c36acb91f504144a101e Mon Sep 17 00:00:00 2001
From: Sebastian Wilzbach <seb@wilzba.ch>
Date: Wed, 24 Jan 2018 18:52:53 +0100
Subject: [PATCH] Allow using updated CircleCi without rebasing PRs

---
 .circleci/run.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.circleci/run.sh b/.circleci/run.sh
index dd83e827a6a0..73b99ebe574f 100755
--- a/.circleci/run.sh
+++ b/.circleci/run.sh
@@ -12,7 +12,11 @@ BUILD="debug"
 DMD=dmd
 PIC=1
 
-case $CIRCLE_STAGE in
+case "${CIRCLE_STAGE}" in
+    # Defined by old, existing PRs
+    # Added to avoid needing to rebase them
+    build)
+        ;&
     pic)
         MODEL=64
         PIC=1