soc: rename HAS_TIMESTAMP to WITH_BUILD_TIME.

litex/soc/integration/soc.py

@@ -1061,7 +1061,7 @@ class LiteXSoC(SoC):
         self.check_if_exists(name)
         if with_build_time:
             identifier += " " + build_time()
-            self.add_config("HAS_TIMESTAMP")
+            self.add_config("WITH_BUILD_TIME")
         setattr(self.submodules, name, Identifier(identifier))
         self.csr.add(name + "_mem", use_loc_if_exists=True)
 

litex/soc/software/bios/main.c

@@ -97,7 +97,7 @@ int main(int i, char **c)
 	printf(" (c) Copyright 2012-2020 Enjoy-Digital\n");
 	printf(" (c) Copyright 2007-2015 M-Labs\n");
 	printf("\n");
-#ifdef CONFIG_HAS_TIMESTAMP
+#ifdef CONFIG_WITH_BUILD_TIME
 	printf(" BIOS built on "__DATE__" "__TIME__"\n");
 #endif
 	crcbios();