1 files changed, 29 insertions, 0 deletions
diff --git a/.github/scripts/path-filters.sh b/.github/scripts/path-filters.sh
new file mode 100755
index 0000000000..f55bd168cf
--- /dev/null
+++ b/.github/scripts/path-filters.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+
+cat <<EOF
+emulator: &emulator
+  - 'make/**'
+EOF
+
+for file in erts/*; do
+    if [ "$file" != "erts/epmd" ]; then
+        if [ -d "$file" ]; then
+            echo "  - '$file/**'"
+        else
+            echo "  - '$file'"
+        fi
+    fi
+done
+
+cat <<EOF
+debug:
+  - *emulator
+epmd:
+  - 'erts/epmd/**'
+EOF
+
+APPS=$(ls -d lib/*/doc | awk -F '/' '{print $2}')
+for app in $APPS; do
+    echo "$app:"
+    echo "  - 'lib/$app/**'"
+done