Only run extract_version.sh once
This commit is contained in:
@ -3,12 +3,10 @@
|
||||
# Write a new made_config.h, but only if changed
|
||||
#
|
||||
rm -f made_config_new.h
|
||||
SICS_SITE=$(bash extract_version.sh SITE)
|
||||
SICS_VERSION=$(bash extract_version.sh VERSION)
|
||||
SICS_REVISION=$(bash extract_version.sh REVISION)
|
||||
source extract_version.sh
|
||||
echo "#define SICS_SITE \"$SICS_SITE\"" >> made_config_new.h
|
||||
echo "#define SICS_VERSION \"$SICS_VERSION\"" >> made_config_new.h
|
||||
echo "#define SICS_REVISION \"$SICS_REVISION\"" >> 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
|
||||
|
Reference in New Issue
Block a user