Skip to content
Permalink
Browse files

Merge pull request #1566 from kidder/fix/doc_script

Fix script that builds docs for a PR
  • Loading branch information...
nilsdeppe committed Jun 12, 2019
2 parents e0e98db + 837d4cf commit 2e79ca4c5aa9498ebf1394d1095c56ab928397d8
Showing with 1 addition and 1 deletion.
  1. +1 −1 tools/pr-docs
@@ -25,7 +25,7 @@ pr=$1
outdir=$2

# Linux || OSX
tmpdir=$(mktemp -d --tmpdir 2>/dev/null || mkdir -d -t spectre-doc)
tmpdir=$(mktemp -d --tmpdir 2>/dev/null || mktemp -d -t spectre-doc)
trap 'rm -rf "${tmpdir}"' EXIT

spectre=$(git rev-parse --show-toplevel 2>/dev/null) || {

0 comments on commit 2e79ca4

Please sign in to comment.
You can’t perform that action at this time.