#!/bin/bash

ARGS=""
OUTFILE="a.out"

while (( "$#" )); do

  case "$1" in
    -o)
        shift;
        if  [ "$#" == "0" ]; then
            echo "ERROR: -o expects a filename"
            exit 1
        fi
        OUTFILE=$1
        ;;
    --version)
        echo "ch2o github checkout (64d98faf7631252524230c859a4fc3bb4767f6e2) @ Tue Nov 17 14:10:57 2015";
        exit 0
        ;;
    *)
        ARGS="$ARGS $1"
  esac

  shift
done

ch2o $ARGS
