build: remove bashism.
authorJan Nieuwenhuizen <janneke@gnu.org>
Fri, 5 Oct 2018 19:24:14 +0000 (21:24 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Fri, 5 Oct 2018 19:24:14 +0000 (21:24 +0200)
commitf1d93da665a2eae228be4db74d32f7b3e58a8375
treec7ab116d64e8c29965b9e457b516833c8fd53a05
parent133013a3d2ed9e2e5deb60adcec6144641942d01
build: remove bashism.

* build-aux/trace.sh (trace): Remove bashism.  Thanks pdewacht!
build-aux/trace.sh