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)
commit531f817c45582530aef0a062c631225bb30cf87b
tree16135d4466ec5c373fc6190b4cc6a597412066f9
parent6c81f9d675ae2376563077fa6fccf8e8b7943fbe
parentc5f48e0d1022c0fc8ed974e16f8c7dba8d302d69
Merge pull request #1596 from pchaigno/check-helpers-no-disk

scripts: avoid check-helpers.sh's writes to disk