From a761e98e183c2a8479944d30a2e73d8b1fa4eb1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antonio=20Ni=C3=B1o=20D=C3=ADaz?= <antonio_nd@outlook.com>
Date: Fri, 10 May 2019 00:15:24 +0100
Subject: [PATCH] Run checkpatch against origin/master

The develop branch has been deleted. Remove references to it.
---
 .travis-checkpatch.sh | 3 ---
 Makefile              | 4 ++--
 2 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/.travis-checkpatch.sh b/.travis-checkpatch.sh
index 95f35a79..1ffd9232 100755
--- a/.travis-checkpatch.sh
+++ b/.travis-checkpatch.sh
@@ -26,9 +26,6 @@ echo "Running checkpatch.pl..."
 fname=$(mktemp)
 rc=0
 
-git remote set-branches --add origin develop
-git fetch
-
 make CHECKPATCH=checkpatchdir/checkpatch.pl checkpatch > $fname
 
 cat $fname
diff --git a/Makefile b/Makefile
index fcca3cdc..e3315768 100644
--- a/Makefile
+++ b/Makefile
@@ -169,11 +169,11 @@ checkcodebase:
 
 # Target used to check the coding style of the patches from the upstream branch
 # to the HEAD. Runs checkpatch once for each commit between the current HEAD and
-# the first common commit between the HEAD and origin/develop. '.y' and '.l'
+# the first common commit between the HEAD and origin/master. '.y' and '.l'
 # files aren't checked, unfortunately...
 
 checkpatch:
-	$Qeval COMMON_COMMIT=$$(git merge-base HEAD origin/develop);	\
+	$Qeval COMMON_COMMIT=$$(git merge-base HEAD origin/master);	\
 	for commit in `git rev-list $$COMMON_COMMIT..HEAD`; do		\
 		echo "[*] Analyzing commit '$$commit'";			\
 		git format-patch --stdout "$$commit~..$$commit"		\