From 18940805fb79fb4e0c3bbcccdb9b4ad93f8e0d46 Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Queru <jbq@google.com>
Date: Thu, 16 Jun 2011 09:25:58 -0700
Subject: [PATCH] Switch back to mksh as the default

Change-Id: I4f39e8d8cc22520cd36f83f8675a716cc1ade1d9
---

diff --git a/core/config.mk b/core/config.mk
index f48fcd8..a5bd99e 100644
--- a/core/config.mk
+++ b/core/config.mk
@@ -161,6 +161,9 @@
 JAVA_TMPDIR_ARG :=
 endif
 
+# Default shell is mksh. Other possible value is ash.
+TARGET_SHELL := mksh
+
 # ###############################################################
 # Include sub-configuration files
 # ###############################################################