#!/bin/sh

displayHeader=$1
if [ ${displayHeader} = "-c" ] ; then
  shift;
else
  displayHeader="" ;
fi

for i in $* ; do
  #display processed file
  echo "==> Processing $i"

  #find suffix of name
  name=`basename $i`
  suffix=`echo $name | sed 's/.*\.//'`

  #if ch use erlmsch otherwise erlms
  if [ $suffix = "ch" ]
  then
    erlmsch ${displayHeader} $i
  else
    erlms ${displayHeader} $i 
  fi
  result=$?
  if [ $result != 0 ] ; then
    exit $result
  fi
done;
