From 5963858a43f07187cb7e24b133fe8e8200b9a74b Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Thu, 18 May 2023 22:38:30 +0200 Subject: [PATCH] gnulib-tool: Ignore .orig and .rej files under modules/. --- gnulib-tool | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnulib-tool b/gnulib-tool index c25ed47d9b..91461042cd 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -1815,8 +1815,8 @@ func_sanitize_modulelist () -e '/^TEMPLATE-EXTENDED$/d' \ -e '/^TEMPLATE-TESTS$/d' \ -e '/^\..*/d' \ - -e '/\.orig$/d' - -e '/\.rej$/d' + -e '/\.orig$/d' \ + -e '/\.rej$/d' \ -e '/~$/d' } -- 2.39.5