Return to the master branch at the end.

diff --git a/support/patch-update b/support/patch-update
index e37cf7c..1595961 100755 (executable)
--- a/support/patch-update
+++ b/support/patch-update
@@ -82,6 +82,9 @@ if ($incl_generated_files) {
     system "rm -rf a b";
 }
 
+sleep 1 if $last_touch == time;
+system "git-checkout master";
+
 exit;