#!/bin/sh DPI=${DPI:-142} SCREEN=${SCREEN:-240x320} PROFILE=${PROFILE:-illume-home} VERBOSE=${VERBOSE:-0} VALGRIND=${VALGRIND} VALGRIND_LOG_FILE=${VALGRIND_LOG_FILE} MASSIF=${MASSIF} CALLGRIND=${CALLGRIND} HOST_CURSOR=${HOST_CURSOR} TEST_HOME=${TEST_HOME} show_help() { cat <&2 ;; esac done debuggers=0 if [ ! -z "$MASSIF" ]; then DEBUGGER="-massif" ((debuggers++)) fi if [ ! -z "$CALLGRIND" ]; then DEBUGGER="-callgrind" ((debuggers++)) fi if [ ! -z "$VALGRIND" ]; then DEBUGGER="-valgrind=$VALGRIND" ((debuggers++)) fi if [ $debuggers -gt 1 ]; then echo "WARNING: more than one debugger specified. Using $DEBUGGER" 1>&2 fi if [ ! -z "$TEST_HOME" ]; then if [ "${TEST_HOME#/tmp/}" != "$TEST_HOME" ]; then # just delete if inside /tmp rm -fr "$TEST_HOME/" fi mkdir -p "$TEST_HOME" fi unset E_RESTART E_START E_IPC_SOCKET E_START_TIME E_CONF_PROFILE if [ $VERBOSE -ne 0 ]; then cat <