Merge remote-tracking branch 'tor-github/pr/942'

This commit is contained in:
Nick Mathewson
2019-04-24 17:06:56 -04:00
2 changed files with 6 additions and 2 deletions
+2
View File
@@ -0,0 +1,2 @@
o Code simplification and refactoring (shell scripts):
- Fix shellcheck warnings in fuzz_multi.sh. Resolves issue 30077.
+4 -2
View File
@@ -1,3 +1,5 @@
#!/bin/sh
MEMLIMIT_BYTES=21990500990976
N_CPUS=1
@@ -6,9 +8,9 @@ if [ $# -ge 1 ]; then
shift
fi
FILTER=echo
FILTER="echo"
for i in `seq -w "$N_CPUS"`; do
for i in $(seq -w "$N_CPUS"); do
if [ "$i" -eq 1 ]; then
if [ "$N_CPUS" -eq 1 ]; then
INSTANCE=""