From 14a0e86d1de53db69632dc64b014270cc736cfcf Mon Sep 17 00:00:00 2001
From: Davanum Srinivas <davanum@gmail.com>
Date: Thu, 30 Apr 2020 11:35:35 -0400
Subject: [PATCH] Avoid running files-remake in verify-all

Signed-off-by: Davanum Srinivas <davanum@gmail.com>
---
 hack/make-rules/verify.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/hack/make-rules/verify.sh b/hack/make-rules/verify.sh
index 1ceb531a065..ea2ea8559fe 100755
--- a/hack/make-rules/verify.sh
+++ b/hack/make-rules/verify.sh
@@ -36,6 +36,13 @@ EXCLUDED_PATTERNS=(
   "verify-*-dockerized.sh"       # Don't run any scripts that intended to be run dockerized
   )
 
+# Exclude generated-files-remake in certain cases, if they're running in a separate job.
+if [[ ${EXCLUDE_FILES_REMAKE:-} =~ ^[yY]$ ]]; then
+  EXCLUDED_PATTERNS+=(
+    "verify-generated-files-remake.sh" # run in a separate job
+    )
+fi
+
 # Exclude typecheck in certain cases, if they're running in a separate job.
 if [[ ${EXCLUDE_TYPECHECK:-} =~ ^[yY]$ ]]; then
   EXCLUDED_PATTERNS+=(