mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
Change binary name to just 'semantic'
This commit is contained in:
parent
cf461facd7
commit
275d413f96
@ -116,7 +116,7 @@ library
|
||||
ghc-options: -Wall -fno-warn-name-shadowing -O2 -j
|
||||
ghc-prof-options: -fprof-auto
|
||||
|
||||
executable semantic-diff
|
||||
executable semantic
|
||||
hs-source-dirs: app
|
||||
main-is: Main.hs
|
||||
ghc-options: -threaded -rtsopts "-with-rtsopts=-N -A4m -n2m" -static -j -O2 -pgml=script/g++
|
||||
|
Loading…
Reference in New Issue
Block a user