From 4cb42adc19ab8ab44bac791ee2d355153d75f005 Mon Sep 17 00:00:00 2001
From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>
Date: Sat, 2 Nov 2024 22:39:21 +0100
Subject: [PATCH] check-pr: add the ability to run with verbose logging
 (#14577)

---
 scripts/check-pr.sh | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh
index 7056cfbf22..11dd9d0d66 100755
--- a/scripts/check-pr.sh
+++ b/scripts/check-pr.sh
@@ -19,6 +19,27 @@
 # NOTE: must be run from the repository root directory to correctly work!
 # NOTE: no `set -e`, failure of this script should not invalidate the build.
 
+VERBOSE=false
+
+while getopts ":v" opt; do
+  case $opt in
+  v)
+    VERBOSE=true
+    ;;
+  *)
+    echo "This argument is not valid for this script."
+    ;;
+  esac
+done
+
+if [[ $VERBOSE == true ]]; then
+  DEBUG_LOG="debug.log"
+  rm -f "$DEBUG_LOG" && touch "$DEBUG_LOG"
+  exec {BASH_XTRACEFD}> "$DEBUG_LOG"
+  export BASH_XTRACEFD
+  set -x
+fi
+
 # Check for duplicated pages.
 function check_duplicates {
   local page="$1" # page path in the format 'pages<.language_code>/platform/pagename.md'