#! /bin/bash path=`pwd` if [ "$1" == "Debug" ]; then $path/sessionserver_d SessionServerLinux.txt else $path/sessionserver_r SessionServerLinux.txt fi