Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
jberryman
GHC
Commits
12552760
Commit
12552760
authored
Feb 16, 2001
by
sewardj
Browse files
[project @ 2001-02-16 11:39:37 by sewardj]
Remove ghc-stats from GhcBinDistLibPrlScripts.
parent
280e5a70
Changes
1
Hide whitespace changes
Inline
Side-by-side
ghc/mk/config.mk
View file @
12552760
# -----------------------------------------------------------------------------
# $Id: config.mk,v 1.1
0
200
0
/0
9/05 09:40:08 simonmar
Exp $
# $Id: config.mk,v 1.1
1
200
1
/0
2/16 11:39:37 sewardj
Exp $
#
# GHC project configuration
#
...
...
@@ -12,7 +12,7 @@ GhcMainDir = ghc
GhcBinDistDirs
=
ghc hslibs
GhcBinDistDocs
=
ghc/docs/set
GhcBinDistPrlScripts
=
ghc-
$(ProjectVersion)
GhcBinDistLibPrlScripts
=
ghc-asm ghc-split
ghc-stats
GhcBinDistLibPrlScripts
=
ghc-asm ghc-split
GhcBinDistBins
=
hp2ps
include
$(GhcMainDir)/mk/version.mk
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment