nightly/bin/nightly: Use grep -E instead of egrep
commitdc8cbbf3bd8c3fc8b7771baf2ad0a16249f23b51
authorMark Wielaard <mark@klomp.org>
Sun, 14 Apr 2024 19:42:12 +0000 (14 21:42 +0200)
committerMark Wielaard <mark@klomp.org>
Sun, 14 Apr 2024 20:06:33 +0000 (14 22:06 +0200)
treeadacaed3613319151ddf40e8c398525399ceb65f
parentbee7b3e71c30ade2990a53a04e47fbac0522252b
nightly/bin/nightly: Use grep -E instead of egrep
nightly/bin/nightly