DEBUG

Author: tautschnig

scripts/run_diff.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-set -e
+set -evx
 
 script_folder=$(dirname "$0")
 absolute_repository_root=$(git rev-parse --show-toplevel)
@@ -37,7 +37,7 @@ then
     echo "Ensure cpplint.py is inside the $script_folder directory then run again"
     exit 1
   else
-    cmd='${script_folder}/cpplint.py --filter=-whitespace/operators,-readability/identifier_spacing $file 2>&1 >/dev/null'
+    cmd='${script_folder}/cpplint.py --filter=-whitespace/operators,-readability/identifier_spacing $file 2>&1'
   fi
 else
   echo "Mode $mode not recognized"
@@ -92,6 +92,7 @@ for file in $diff_files; do
 
   # Run the linting script and filter:
   # The errors from the linter go to STDERR so must be redirected to STDOUT
+  ${cmd}
   result=$(eval "${cmd}" | "${script_folder}/filter_by_lines.py" "$file" "$added_lines_file" "$absolute_repository_root")
 
   # Providing some errors were relevant we print them out