#! /bin/bash

# Script to configure some variables set in the top-level Makefile. 
# Do not modify this script.


if test $# != 2
then
   echo $0: Incorrect number of parameters.
   exit -1
fi
	
echo '// The following three definitions have automatically inserted ' > tt.h
echo '// by the top-level Makefile: do not edit this file' >> tt.h
echo '#define VARDIR "'$1'"' >> tt.h
echo '#define EXECDIR "'$2'"' >> tt.h
echo '' >> tt.h
cat tt.h tpcc-orig.h > tt2.h
if (! diff tt2.h tpcc.h > /dev/null 2>/dev/null)
then
   mv tt2.h tpcc.h
fi 
rm -f tt.h tt2.h

exit 0
