#!/bin/bash
#
# Write a new made_config.h, but only if changed
#
rm -f made_config_new.h
source extract_version.sh
echo "#define SICS_SITE \"$SICS_SITE\"" >> made_config_new.h
echo "#define SICS_VERSION \"$SICS_VER\"" >> made_config_new.h
echo "#define SICS_REVISION \"$SICS_REV\"" >> made_config_new.h
if [[ -f /usr/include/valgrind/memcheck.h ]]
then
  echo "#define SICS_VALGRIND" >> made_config_new.h
fi
delta=$(diff -q made_config.h made_config_new.h 2>> /dev/null)
if [[ $? == 0 ]]
then
  echo "config not changed"
  rm -f made_config_new.h
else
  echo "config updated"
  mv -f --backup made_config_new.h made_config.h
fi