Merge remote-tracking branch 'upstream/master'

This commit is contained in:
Aniket-Engg
2019-01-02 11:33:46 +05:30
2 changed files with 2 additions and 1 deletions

View File

@ -7,7 +7,8 @@ set -o errexit
rm -rf build
# Create a temporary directory to place ignored files (e.g. examples).
tmp_dir="$(mktemp -dp.)"
tmp_dir="ignored_contracts"
mkdir "$tmp_dir"
# Move the ignored files to the temporary directory.
while IFS="" read -r ignored