From 05e97917aa898a6732eca6200b6baa05c5a9a037 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 11 Aug 2017 10:54:56 +0200
Subject: [PATCH] Enable travis support for stable branch

---
 .travis.yml               | 1 +
 travis/generate_travis.py | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 731783ddf..779e5bb69 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,6 +6,7 @@
 branches:
   only:
   - master
+  - stable
 dist: trusty
 language: cpp
 
diff --git a/travis/generate_travis.py b/travis/generate_travis.py
index 0f52bb550..5ace5a47c 100644
--- a/travis/generate_travis.py
+++ b/travis/generate_travis.py
@@ -39,6 +39,7 @@ if __name__ == "__main__":
     s += "branches:\n"
     s += "  only:\n"
     s += "  - master\n"
+    s += "  - stable\n"
     s += "dist: trusty\n"
     s += "language: cpp\n"
     s += "\n"