remove linux-specific mktemp usage (#1571)

This commit is contained in:
Francisco Giordano
2018-12-22 17:10:44 -03:00
committed by GitHub
parent 73cbad2f78
commit 7361ffd26b

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