HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
03f5c14
)
Force use of actual echo instead of shell builtin
author
clinton_admin
<clinton_admin@deleuze.hcoop.net>
Mon, 31 Jan 2011 19:00:03 +0000
(14:00 -0500)
committer
clinton_admin
<clinton_admin@deleuze.hcoop.net>
Mon, 31 Jan 2011 19:00:03 +0000
(14:00 -0500)
* The default echo builtin used by make doesn't support -e any more!
Makefile
patch
|
blob
|
blame
|
history
diff --git
a/Makefile
b/Makefile
index
c1fb6d3
..
2d0c6ab
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-9,7
+9,7
@@
COMMON_DEPS := configDefault/config.sig configDefault/configDefault.sml \
EMACS_DIR := /usr/local/share/emacs/site-lisp/domtool-mode
config.sml:
- echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@
+
/bin/
echo -e 'structure Config :> CONFIG = struct\nopen ConfigDefault\nend' > $@
.PHONY: all mlton smlnj install install_sos