bootstrap.sh: use "grep -E" instead of "egrep", suggested by shellcheck
authorAntonio Ospite <ao2@ao2.it>
Mon, 18 Dec 2017 15:03:32 +0000 (16:03 +0100)
committerAntonio Ospite <ao2@ao2.it>
Mon, 18 Dec 2017 15:03:32 +0000 (16:03 +0100)
commit1519f69760503e0895f60fbbbcd5bbfde7bf7071
tree409e3368f271bbd575e6d6ab20245a0668876f23
parent6bc7c74e4c99280f488a59204f5ab40a9f39167b
bootstrap.sh: use "grep -E" instead of "egrep", suggested by shellcheck
libexec/bootstrap.sh