#!/bin/sh
#   Copyright (C) 2012 University of Oxford
#
#   SHCOPYRIGHT
POSIXLY_CORRECT=1

string=$@
my_os=`uname -s`

if [ "X${my_os}" = "XLinux" ]; then
    /bin/echo -e "$string "
else
    /bin/echo "$string"
fi