#!/bin/bash
#  This file was generated by gen-devsh!
APP_SVNID='$HeadURL$ $LastChangedRevision$'

DIRNAME=$(dirname $0)

#  Set up environment
export PIN_PREFIX=$(cd $DIRNAME/.. 2>/dev/null && pwd)
export PIN_BIN_PREFIX=$PIN_PREFIX/bin
export PATH=$PIN_BIN_PREFIX:$PATH
export PIN_MAN_PREFIX=$PIN_PREFIX/man
export MANPATH=$PIN_MAN_PREFIX:$MANPATH
export PIN_DOC_PREFIX=$PIN_PREFIX/doc
export PIN_ETC_PREFIX=$PIN_PREFIX/etc
export PIN_INCLUDE_PREFIX=$PIN_PREFIX/include
export PIN_LIB_PREFIX=$PIN_PREFIX/lib
export PIN_SHARE_PREFIX=$PIN_PREFIX/share
export PIN_STATE_PREFIX=$PIN_PREFIX/var
export PS1="${0##*/}> "
#  Prevent creation of __pycache__, which confuses recursive make.
export PYTHONDONTWRITEBYTECODE=1

#  Execute shell or command
if [ $# = 0 ] && [[ $SHELL =~ /bash$ ]]; then
    $SHELL --norc
elif [ $# = 0 ]; then
    $SHELL
else
    "$@"
fi