tree e27b184e6daf7a91e6d1f9ae1fc549ec8abe6e0a
parent d2cea5b5036afed5295d9eb5657772d7a607351c
author Nick Kralevich <nnk@google.com> 1361388051 -0800
committer Nick Kralevich <nnk@google.com> 1361389666 -0800

mksh: use /data/local instead of /data/local/tmp

/data/local/tmp is writable by the shell user and is not
sticky (S_IXVTX). /data/local is only writable by root
(as a result, the sticky bit doesn't matter).

Change-Id: I7ea121208846c2cffe97f6316272c526b47a1813