build: remove bashism.

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

diff --git a/build-aux/trace.sh b/build-aux/trace.sh
index ec9509353b14a5218f8673dc6f0e7ab653e97ded..b4277505fdbbf8c3558e1af2bb334be26e320b69 100644 (file)
--- a/build-aux/trace.sh
+++ b/build-aux/trace.sh
@@ -17,7 +17,7 @@
 # along with GNU Mes.  If not, see <http://www.gnu.org/licenses/>.
 
 if [ -z "$V" -o "$V0" = 0 ]; then
-    function trace () {
+    trace () {
         echo "  $1"
         shift
         eval "$@" $LOG
@@ -25,7 +25,7 @@ if [ -z "$V" -o "$V0" = 0 ]; then
     LOG=" >>build.log 2>&1"
 fi
 if [ "$V" = 1 ]; then
-    function trace () {
+    trace () {
         shift
         echo "$@"
         eval "$@ $LOG"
@@ -34,7 +34,7 @@ if [ "$V" = 1 ]; then
 fi
 if [ "$V" = 2 ]; then
     set -x
-    function trace () {
+    trace () {
         shift
         eval "$@"
     }