From 7361ffd26b6354499d0b68d6d2d9da1f8cb21c8b Mon Sep 17 00:00:00 2001 From: Francisco Giordano Date: Sat, 22 Dec 2018 17:10:44 -0300 Subject: [PATCH] remove linux-specific mktemp usage (#1571) --- scripts/build.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/build.sh b/scripts/build.sh index f48b92d06..9eff9a29a 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -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