support/scripts: rename check-merged-usr.sh

Browse Source

We're going to need it to check merged-bin, so the naming would be
misleading as it would no longer be just about merged-usr.

Also drop the extension, it's useless.

Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>
Acked-by: Arnout Vandecappelle <arnout@mind.be>
Signed-off-by: Romain Naour <romain.naour@smile.fr>

...

This commit is contained in:

Yann E. MORIN

2025-09-01 11:01:18 +02:00

committed by Romain Naour

parent 4da66e8130

commit 0eb873bda0

3 changed files with 2 additions and 2 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

0

support/scripts/check-merged-usr.sh → support/scripts/check-merged