23 lines
628 B
Bash
Executable File
23 lines
628 B
Bash
Executable File
#!/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
|