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)
* build-aux/trace.sh (trace): Remove bashism.  Thanks pdewacht!

build-aux/trace.sh

index ec9509353b14a5218f8673dc6f0e7ab653e97ded..b4277505fdbbf8c3558e1af2bb334be26e320b69 100644 (file)
@@ -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 "$@"
     }