# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1307719567 14400
# Node ID 10f6727fbaa8aacded33f52c24eb2d2891586772
# Parent  633ef00d963c34fe18d8f46315162fd1be9e100b
maint: don't set SHELL to /bin/sh in common.mk

* common.mk (SHELL): Delete.

diff -r 633ef00d963c -r 10f6727fbaa8 common.mk
--- a/common.mk	Thu Jun 09 12:01:28 2011 -0700
+++ b/common.mk	Fri Jun 10 11:26:07 2011 -0400
@@ -1,5 +1,3 @@
-SHELL = /bin/sh
-
 AWK = @AWK@
 export AWK