From b9d7c8f6f50cfd72935a4690592097dccffcfe59 Mon Sep 17 00:00:00 2001
From: Filip Grzadkowski <filipg@google.com>
Date: Mon, 16 Mar 2015 12:04:08 +0100
Subject: [PATCH] Remove unneeded make rule name.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4e41fdfe233..af0fc4f2fe3 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ check test:
 #
 # Example:
 #   make test_integration
-test_integration test_integ:
+test_integration:
 	hack/test-integration.sh
 .PHONY: test_integration test_integ