1234567891011121314151617181920212223242526272829303132333435363738394041424344454647 |
- #!/bin/bash
- PAL_DIR=$(readlink -f $(dirname ${BASH_SOURCE[0]})/../../../../Pal/src)
- PAL=$PAL_DIR/pal
- PAL_SEC=$PAL_DIR/pal_sec
- MANIFEST=
- GDB_CMD=
- PAL_CMD=$PAL
- if [ "$GDB" == "1" ]; then
- GDB_CMD="gdb --args"
- fi
- if [ "$SEC" == "1" ]; then
- PAL_CMD=$PAL_SEC
- fi
- while [ "$1" != "" ];
- do
- if [ "$1" = "-gdb" ]; then
- GDB_CMD="gdb --args"
- shift
- continue
- fi
- if [ "$1" = "-sec" ]; then
- PAL_CMD=$PAL_SEC
- shift
- continue
- fi
- if [ "$MANIFEST" == "" ]; then
- MANIFEST=$1
- shift
- continue
- fi
- break
- done
- if [ ! -f "$PAL_CMD" ]; then
- echo "$PAL_CMD is not built, or security mode is not supported"
- exit 1
- fi
- exec $GDB_CMD $PAL_CMD $MANIFEST "$@"
|