checks: Check for missing file updates

mrdeep1 · May 17, 2024 · d58bd90 · d58bd90
1 parent 280b723
commit d58bd90
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 0 deletions.
diff --git 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
@@ -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