#!/bin/sh 

# Update the saved log file immediatelly after an instrumentation 
# or reinstrumentation. 

if [ -f save/GCTLOG ] 
then
	gct-newlog save/gct-map save/GCTLOG > GCTLOG
	exit 
fi
exit 0