diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 05f4a20781..6483ab2fa1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -37,6 +37,20 @@ jobs: run: | ./configure --disable-documentation --disable-doxygen --disable-man --enable-examples --enable-tests --disable-dtls scan-build make V=0 + check-missing-updates: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: setup + run: | + sudo apt-get update && sudo apt-get install -y libcunit1-dev libtool libtool-bin exuberant-ctags clang-tools + ./autogen.sh + - name: configure + run: | + ./configure --disable-documentation --disable-doxygen --disable-man --enable-examples --enable-tests --disable-dtls + - name: check + run: | + scripts/check-missing-updates.sh build-linux: runs-on: ubuntu-latest strategy: diff --git a/scripts/check-missing-updates.sh b/scripts/check-missing-updates.sh new file mode 100755 index 0000000000..3a5cde1f28 --- /dev/null +++ b/scripts/check-missing-updates.sh @@ -0,0 +1,21 @@ +#/bin/bash + +# +# Check if there are any missing file updates +# + +make update-map-file > /dev/null + +git diff > diff_check + +WC=`cat diff_check | wc -l` +if [ $WC != 0 ] ; then + echo + echo "Please correct the following files that were changed by" + echo "./configure (by updating its master file)" + echo "or 'make update-map-file'." + echo + cat diff_check + exit 1 +fi +exit 0