From 883dd79c5d791f7b3d961917f8f2c3b58a1195ea Mon Sep 17 00:00:00 2001 From: clinton_admin Date: Mon, 31 Jan 2011 14:00:03 -0500 Subject: [PATCH] Force use of actual echo instead of shell builtin * The default echo builtin used by make doesn't support -e any more! --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c1fb6d3..2d0c6ab 100644 --- 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 -- 2.20.1