X-Git-Url: https://git.xandkar.net/?p=hope.git;a=blobdiff_plain;f=Makefile;h=d9e584012c03a8e54b9e7e64dbbf4e9404d19eee;hp=3d8049884141f5135b13cd9a3895f6bdea55ed9e;hb=6d01251ea79403a33814d35a765590d9e1ae4ac8;hpb=9a5e47faa30b6f3fbd9b0521b238c2d1076de498

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