diff options
Diffstat (limited to 'scripts/coccicheck')
-rwxr-xr-x | scripts/coccicheck | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/scripts/coccicheck b/scripts/coccicheck index 4b65a0fd50a1..3f0bb3f0fddc 100755 --- a/scripts/coccicheck +++ b/scripts/coccicheck | |||
@@ -96,7 +96,15 @@ run_cmd_parmap() { | |||
96 | if [ $VERBOSE -ne 0 ] ; then | 96 | if [ $VERBOSE -ne 0 ] ; then |
97 | echo "Running ($NPROC in parallel): $@" | 97 | echo "Running ($NPROC in parallel): $@" |
98 | fi | 98 | fi |
99 | $@ 2>/dev/null | 99 | if [ "$DEBUG_FILE" != "/dev/null" -a "$DEBUG_FILE" != "" ]; then |
100 | if [ -f $DEBUG_FILE ]; then | ||
101 | echo "Debug file $DEBUG_FILE exists, bailing" | ||
102 | exit | ||
103 | fi | ||
104 | else | ||
105 | DEBUG_FILE="/dev/null" | ||
106 | fi | ||
107 | $@ 2>$DEBUG_FILE | ||
100 | if [[ $? -ne 0 ]]; then | 108 | if [[ $? -ne 0 ]]; then |
101 | echo "coccicheck failed" | 109 | echo "coccicheck failed" |
102 | exit $? | 110 | exit $? |