From 869d7e7ba7a3a812c855bd5c55674be0c8065fc8 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 18 May 2017 10:31:53 +0200
Subject: [PATCH] Build sylvan beforehand

---
 travis/postsubmit-helper.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/travis/postsubmit-helper.sh b/travis/postsubmit-helper.sh
index 7f4d9c2a3..041c22383 100755
--- a/travis/postsubmit-helper.sh
+++ b/travis/postsubmit-helper.sh
@@ -33,6 +33,7 @@ run() {
     VERBOSE=1 make resources -j$N_JOBS
     VERBOSE=1 make test-resources -j$N_JOBS
     VERBOSE=1 make l3pp_ext -j$N_JOBS
+    VERBOSE=1 make sylvan -j$N_JOBS
     travis_fold end make_dep
     ;;