dist: add CI job to detect files missing from distro

Also:
- delete previous, cmake-specific solution.
- move a CI script under `.github`.

Follow-up to a118a6ecdd #14323
Closes #14463
This commit is contained in:
Viktor Szakats 2024-08-08 22:05:16 +02:00
parent 515440a2f2
commit 2edbc229cb
No known key found for this signature in database
GPG key ID: B5ABD165E2AEF201
6 changed files with 70 additions and 35 deletions

View file

@ -12,7 +12,7 @@ on:
- '**/*.m4'
- '**/CMakeLists.txt'
- 'lib/curl_config.h.cmake'
- 'scripts/cmp-config.pl'
- '.github/scripts/cmp-config.pl'
pull_request:
branches:
@ -22,7 +22,7 @@ on:
- '**/*.m4'
- '**/CMakeLists.txt'
- 'lib/curl_config.h.cmake'
- 'scripts/cmp-config.pl'
- '.github/scripts/cmp-config.pl'
permissions: {}
@ -42,4 +42,4 @@ jobs:
mkdir build && cd build && cmake ..
- name: compare generated curl_config.h files
run: ./scripts/cmp-config.pl lib/curl_config.h build/lib/curl_config.h
run: ./.github/scripts/cmp-config.pl lib/curl_config.h build/lib/curl_config.h