Merge branch 'tor-github/pr/1128'

This commit is contained in:
George Kadianakis
2019-06-26 10:53:34 +03:00
-2
View File
@@ -12,8 +12,6 @@ if test "$UNAME_OS" = 'CYGWIN' || \
fi
fi
exitcode=0
tmpdir=
clean () {
if [ -n "$tmpdir" ] && [ -d "$tmpdir" ]; then