1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 7d6d8be..6353f93 100644
--- a/Makefile
+++ b/Makefile
@@ -15,4 +15,4 @@ merge-devel:
 	git pull origin master
 	git merge devel
 	git push origin master
-	git check devel
+	git checkout devel