#!/bin/sh

# Cleans up after the auxiliary files that were created when installing
# the magma package
#
echo "Cleaning up after installing the magma package"

for f in config.log config.status config.cache ; do
  if test -w $f ; then
    rm -f $f
  fi
done

cd src
make clean
rm -f Makefile

