remove linux-specific mktemp usage (#1571)

(cherry picked from commit 7361ffd26b)
This commit is contained in:
Francisco Giordano
2018-12-22 17:10:44 -03:00
parent be5ed7364b
commit 4b8fcbcee1

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