From dda3c644e195de2f72a81a0e2fb17e5095ea80ce Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 2 Mar 2017 18:25:43 +0100
Subject: [travis] Backport trunk's travis support.

---
 Makefile | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1dd4efca2e..e84d5e3775 100644
--- a/Makefile
+++ b/Makefile
@@ -245,6 +245,11 @@ devdocclean:
 	rm -f $(OCAMLDOCDIR)/ocamldoc.sty $(OCAMLDOCDIR)/coq.tex 
 	rm -f $(OCAMLDOCDIR)/html/*.html
 
+###########################################################################
+# Continuous Intregration Tests
+###########################################################################
+include Makefile.ci
+
 ###########################################################################
 # Emacs tags
 ###########################################################################
-- 
cgit v1.2.3