shithub: rgbds

Download patch

ref: a761e98e183c2a8479944d30a2e73d8b1fa4eb1d
parent: fa37922ca76b749ce046f1ce1f15f7e1322c9244
author: Antonio Niño Díaz <antonio_nd@outlook.com>
date: Thu May 9 20:15:24 EDT 2019

Run checkpatch against origin/master

The develop branch has been deleted. Remove references to it.

--- a/.travis-checkpatch.sh
+++ b/.travis-checkpatch.sh
@@ -26,9 +26,6 @@
 fname=$(mktemp)
 rc=0
 
-git remote set-branches --add origin develop
-git fetch
-
 make CHECKPATCH=checkpatchdir/checkpatch.pl checkpatch > $fname
 
 cat $fname
--- a/Makefile
+++ b/Makefile
@@ -169,11 +169,11 @@
 
 # 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"		\