00-patches.sh: replace echo | grep with [[ ]]

This commit is contained in:
maxice8 2019-04-14 02:14:05 -03:00 committed by maxice8
parent 13b5d09803
commit 49193d73d9

View file

@ -45,7 +45,7 @@ hook() {
else else
for f in $PATCHESDIR/*; do for f in $PATCHESDIR/*; do
[ ! -f $f ] && continue [ ! -f $f ] && continue
if $(echo $f|grep -Eq '^.*.args$'); then if [[ $f =~ ^.*.args$ ]]; then
continue continue
fi fi
_process_patch $f _process_patch $f