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
     ;;