Pekka Enberg ba39bfa1be dist-check: Fix script name to work on Windows filesystem ...

Asias He reports that git on Windows filesystem is unhappy about the
colon character (":") present in dist-check files:

$ git reset --hard origin/master
error: invalid path 'tools/testing/dist-check/docker.io/centos:7.sh'
fatal: Could not reset index file to revision 'origin/master'.

Rename the script to use a dash instead.

Closes #7648

2020-11-19 13:16:30 +02:00

..

dist-check

dist-check: Fix script name to work on Windows filesystem

2020-11-19 13:16:30 +02:00