diff options
Diffstat (limited to '.tools')
| -rwxr-xr-x | .tools/scripts/init.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 1deff0e9c..2bdeebc42 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -184,6 +184,7 @@ function do_init { git apply --reject --whitespace=nowarn x.diff echo "====================================== DIFFED" git status + ls --recursive|grep ".rej" echo "====================================== Continuing..." cd src check_error $? |