GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity

Fix script to use generic runner

Browse Source
This commit is contained in:
Iavor Diatchki 2019-01-24 16:44:15 -08:00
parent 2294d81db0
commit 72a57bfff9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cry
View File

@ -7,7 +7,7 @@ function setup_external_tools {
if [ ! -f "$BIN/test-runner" ]
then
mkdir -p "$BIN"
cabal v2-install --symlink-bindir="$BIN" test-runner
cabal v2-install --symlink-bindir="$BIN" test-lib
fi
}