expose time zone to GetPlcRelease
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 15 Feb 2008 15:16:30 +0000 (15:16 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 15 Feb 2008 15:16:30 +0000 (15:16 +0000)
Makefile

index a5131e5..df1c22c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -582,7 +582,7 @@ myplc-release:
 
 version-build:
        @echo -n 'Build build-date: ' ; date '+%Y.%m.%d'
-       @echo -n 'Build build-time: ' ; date '+%H:%M'
+       @echo -n 'Build build-time: ' ; date '+%H:%M-%Z'
        @echo -n 'Build build-hostname: ' ; hostname
        @echo    "Build build-base: $(NIGHTLY_BASE)"
        @echo    "Build planetab-distro: $(PLDISTRO)"