From 0810ea4e35423c1991b664038febe7d9e88e92ed Mon Sep 17 00:00:00 2001
From: "Kyle J. McKay" <mackyle@gmail.com>
Date: Tue, 7 Jul 2020 21:18:06 -0700
Subject: [PATCH] projtool.pl: mark project dirty after HEAD change

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
---
 toolbox/projtool.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/toolbox/projtool.pl b/toolbox/projtool.pl
index b4b65fc..db70a7d 100755
--- a/toolbox/projtool.pl
+++ b/toolbox/projtool.pl
@@ -1472,6 +1472,7 @@ sub cmd_sethead {
 	} else {
 		# Avoid touching anything other than the HEAD symref
 		$project->set_HEAD($ARGV[1]);
+		$project->_set_changed;
 		warn $project->{name}, ": HEAD symref updated to \"refs/heads/$ARGV[1]\"\n" unless $quiet;
 	}
 	return 0;
-- 
2.11.4.GIT