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 /contrib | |
| parent | ae004979659f80756076e2fe65888437a634533f (diff) | |
| download | gnunet-b408d8a8224ad35615ad5a2fc00d92a73c420e54.tar.gz gnunet-b408d8a8224ad35615ad5a2fc00d92a73c420e54.zip | |
contrib/scripts/revisionary.sh: bashisms
Diffstat (limited to 'contrib')
| -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 |