From 1521b65b5282ff4f6f7b16eaa53f0ef9d08338b8 Mon Sep 17 00:00:00 2001 From: Marko Lindqvist Date: Fri, 9 Sep 2022 01:10:59 +0300 Subject: [PATCH 37/37] spec_propagate.sh: Have the name of the comments file just once See osdn #45611 Signed-off-by: Marko Lindqvist --- scripts/spec_propagate.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/scripts/spec_propagate.sh b/scripts/spec_propagate.sh index 2db1e97905..41ef287843 100755 --- a/scripts/spec_propagate.sh +++ b/scripts/spec_propagate.sh @@ -5,6 +5,9 @@ # material that should stay in sync). # Must be run from the root of a git checkout. +# Ruledit comments file name +COMMENTS="comments-3.2.txt" + usage() { echo "*** usage: $0 data/[changed-ruleset-dir]" } @@ -38,8 +41,8 @@ patch_rulesetdir() { if [ "x$rej" != x ]; then echo "*** fix up rejects manually: $rej" fi - if [ -f "data/ruledit/comments-3.2.txt" ]; then - echo "*** fix up ruledit manually: data/ruledit/comments-3.2.txt" + if [ -f "data/ruledit/${COMMENTS}" ]; then + echo "*** fix up ruledit manually: data/ruledit/${COMMENTS}" fi } -- 2.35.1