#!/bin/sh

# Reinstrument only changed files.  Saved versions are optionally
# placed in 'save'.

# Exit on error.
set -e 

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

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