#!/bin/bash set -x BR=`pwd` ######################################################################## ############################# LINUX BUILDS ############################# ######################################################################## if [ "`uname`" = "Linux" ] then cd shsrc/lshsrc (mk-cai-all) RCODE=$? if(test $RCODE != 0) then exit $RCODE fi exit fi ######################################################################## ############################# Windows builds ########################### ######################################################################## if [ "`uname`" = "CYGWIN_NT-5.0" ] || [ "`uname`" = "Windows_NT" ] || [ "`uname`" = "CYGWIN_NT-5.1" ] then cd shsrc/wshsrc (mk-cai-all) RCODE=$? if(test $RCODE != 0) then exit $RCODE fi cd $BR exit fi