diff options
Diffstat (limited to 'tool')
| -rwxr-xr-x | tool/ifchange | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tool/ifchange b/tool/ifchange index 396a7a0bcf..050c8d8f26 100755 --- a/tool/ifchange +++ b/tool/ifchange @@ -31,6 +31,9 @@ until [ $# -eq 0 ]; do --color=*) color=`expr \( "$1" : '[^=]*=\(.*\)' \)` ;; + --debug) + set -x + ;; *) break ;; |