#!/bin/sh

# Reinstrument program from scratch.  Saved versions are optionally
# placed in 'save'.

# Exit on error.
set -e

echo "Save current instrumented state of program?"
read answer
if [ "y" = "$answer" ]
then
	dosave
fi

make clean > /dev/null
rm -f GCTLOG
gct-init

make "CC=gct"
echo "FINISHED:  Use 'update' if you want to update the logfile."

exit 0
