#!/bin/sh

\rm -f *.cm* *.o *.byte *.opt