github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00
Code Issues Projects Releases Wiki Activity

Don’t pass --interactive.

Browse Source
This commit is contained in:
Rob Rix 2019-11-01 11:05:06 -04:00
parent ddff669740
commit b2c8fd92da
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
script/ghci-flags
View File

@ -8,8 +8,6 @@ cd $(dirname "$0")/..
root="$(pwd)" root="$(pwd)"
ghc_version="$(ghc --numeric-version)" ghc_version="$(ghc --numeric-version)"
echo "--interactive"
echo "-O0" echo "-O0"
echo "-ignore-dot-ghci" echo "-ignore-dot-ghci"