projects
/
mes.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
133013a
)
build: remove bashism.
author
Jan Nieuwenhuizen
<janneke@gnu.org>
Fri, 5 Oct 2018 19:24:14 +0000
(21:24 +0200)
committer
Jan 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
patch
|
blob
|
history
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 "$@"
}