HCoop
/
jyaworski
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6f3525e
)
Fix tiny Makefile bug
author
Adam Chlipala
<adamc@hcoop.net>
Thu, 3 May 2007 19:45:13 +0000
(19:45 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Thu, 3 May 2007 19:45:13 +0000
(19:45 +0000)
Makefile
patch
|
blob
|
blame
|
history
diff --git
a/Makefile
b/Makefile
index
31f72ba
..
f3161d4
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-129,7
+129,7
@@
bin/vmail: $(COMMON_MLTON_DEPS) src/vmail.mlb
$(MLTON) -output bin/vmail src/vmail.mlb
bin/setsa: $(COMMON_MLTON_DEPS) src/setsa.mlb
- $(MLTON) -output bin/setsa
-ldl
src/setsa.mlb
+ $(MLTON) -output bin/setsa src/setsa.mlb
bin/smtplog: $(COMMON_MLTON_DEPS) src/smtplog.mlb
$(MLTON) -output bin/smtplog src/smtplog.mlb