#! /bin/sh
# Reset the directory contents.
rm -f Setup* Makefile* *.c *.o *.a *.so *~ python sedscript