Merge pull request #1596 from pchaigno/check-helpers-no-disk
authoryonghong-song <ys114321@gmail.com>
Sun, 18 Feb 2018 17:12:26 +0000 (09:12 -0800)
committerGitHub <noreply@github.com>
Sun, 18 Feb 2018 17:12:26 +0000 (09:12 -0800)
scripts: avoid check-helpers.sh's writes to disk


Trivial merge