#!/bin/sh
if [ "$1" = "-f" ]; then
  shift
  file=$1
  shift
  ./cexport $* $file.c
else
  file=$1
  shift
  if [ -f $file.e ]; then mv $file.e $file.ee; fi
  ./cexport $* $file.c
  cmp -s $file.e $file.ee && mv $file.ee $file.e || rm -f $file.ee
fi
