remove config/version file

to avoid problems with boost's version file
Expander · Mar 22, 2021 · c73294e · c73294e
1 parent 7a00e42
commit c73294e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/configure b/configure
@@ -3854,6 +3854,7 @@ if test "x${enable_meta}" = "xyes"; then
     add_metaflags
 fi
 
+rm -f ${CONFIGDIR}/version
 echo "$FLEXIBLESUSY_VERSION" > ${CONFIGDIR}/flexiblesusy-version
 echo "$GIT_COMMIT" > ${CONFIGDIR}/git_commit
 echo "{${required_sarah_major}, ${required_sarah_minor}, ${required_sarah_patch}}" > ${CONFIGDIR}/required_sarah_version.m