diff options
author | Jesusaves <cpntb1@ymail.com> | 2019-06-29 17:51:57 -0300 |
---|---|---|
committer | Jesusaves <cpntb1@ymail.com> | 2019-06-29 17:51:57 -0300 |
commit | ee9acffc32be6060995114fd7ce851c67db7571f (patch) | |
tree | 19cca21c46a8d90370db1261db2073f86dba232f | |
parent | 8f2e896d489a130d4a4ba3bf0c959582a1e11f93 (diff) | |
download | serverdata-ee9acffc32be6060995114fd7ce851c67db7571f.tar.gz serverdata-ee9acffc32be6060995114fd7ce851c67db7571f.tar.bz2 serverdata-ee9acffc32be6060995114fd7ce851c67db7571f.tar.xz serverdata-ee9acffc32be6060995114fd7ce851c67db7571f.zip |
[skip ci] grep rejected files too
-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 $? |