From d5abe16c286166d5257e33a078440a70c889c732 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Thu, 21 Mar 2019 19:07:08 +0100
Subject: [PATCH] Parallel build in CI

---
 shippable.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shippable.yml b/shippable.yml
index 9666765d..6ffc02dc 100644
--- a/shippable.yml
+++ b/shippable.yml
@@ -20,4 +20,4 @@ build:
         image_tag: $IMAGE_TAG
         pull: true
     ci:
-        - /opt/gnat/bin/gprbuild -p -P alire_env
+        - /opt/gnat/bin/gprbuild -j0 -p -P alire_env