diff options
author | ng0 <ng0@n0.is> | 2019-04-01 14:24:45 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 14:24:45 +0000 |
commit | b408d8a8224ad35615ad5a2fc00d92a73c420e54 (patch) | |
tree | fc403c254fb2941202a49c07afb542706c035758 | |
parent | ae004979659f80756076e2fe65888437a634533f (diff) | |
download | gnunet-b408d8a8224ad35615ad5a2fc00d92a73c420e54.tar.gz gnunet-b408d8a8224ad35615ad5a2fc00d92a73c420e54.zip |
contrib/scripts/revisionary.sh: bashisms
-rwxr-xr-x | contrib/scripts/revisionary.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/scripts/revisionary.sh b/contrib/scripts/revisionary.sh index 5778cf148..a39660d52 100755 --- a/contrib/scripts/revisionary.sh +++ b/contrib/scripts/revisionary.sh | |||
@@ -16,7 +16,7 @@ CMD_TEST="cd src/transport ; make test_transport_api_tcp; ./test_transport_api_t | |||
16 | LOGGING=" 1> /dev/null 2> errors.txt" | 16 | LOGGING=" 1> /dev/null 2> errors.txt" |
17 | LOGFILE="log.txt" | 17 | LOGFILE="log.txt" |
18 | 18 | ||
19 | function output () | 19 | output () |
20 | { | 20 | { |
21 | eval echo $1 | 21 | eval echo $1 |
22 | eval echo $1 >> $LOGFILE | 22 | eval echo $1 >> $LOGFILE |