From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 24 Mar 2015 10:55:02 +0000 (-0400)
Subject: Rename recipe: ci -> travis_ci
X-Git-Tag: 2.4.0~4
X-Git-Url: https://git.xandkar.net/?p=hope.git;a=commitdiff_plain;h=6d01251ea79403a33814d35a765590d9e1ae4ac8

Rename recipe: ci -> travis_ci
---

diff --git a/.travis.yml b/.travis.yml
index 1fadef5..c38a8fb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,4 +10,4 @@ otp_release:
     - R16B02
 
 script:
-    "make ci"
+    "make travis_ci"
diff --git a/Makefile b/Makefile
index 3d80498..d9e5840 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 .PHONY: \
-	ci \
+	travis_ci \
 	fresh-build \
 	compile \
 	clean \
@@ -9,7 +9,7 @@
 	dialyze \
 	test
 
-ci: \
+travis_ci: \
 	deps \
 	compile \
 	test