#!/bin/sh

if [ "$(basename "$(readlink /bin/sh)")" = "bash" ]; then
    shellopts="+h"
    moreps1="\u:\w "
fi

umask 022
env -i \
    HOME=$HOME \
    TERM=$TERM \
    PS1="(buildenv) $moreps1\$ " \
    LC_ALL=C \
    PATH=/tools/bin:$PATH \
    MAKEFLAGS=$MAKEFLAGS \
    rocket=$rocket \
    target=$(uname -m)-rocket-linux-gnu \
    /bin/sh $shellopts