#!/bin/env sh

ERROR="usage: $(basename $0) file.c\n"

if [ $# -eq 0 ] ; then
  echo -e $ERROR
else
  @FRAMAC@ -jessie -jessie-behavior default -jessie-why-opt="-fast-wp" $1
fi