tags do not have the Id keyword anymore
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 May 2010 23:52:44 +0000 (01:52 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 26 May 2010 23:52:44 +0000 (01:52 +0200)
Makefile

index 8f1ecdd..04fa886 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -714,7 +714,6 @@ version-build:
        @echo    "Build build-base: $(BASE)"
        @echo    "Build planetlab-distro: $(PLDISTRO)"
        @echo    "Build planetlab-tags: $(PLDISTROTAGS)"
-       @echo -n 'Build planetlab-tagsid: ' ; fgrep '$$''Id' $(PLDISTROTAGS)
        @echo    "Build target-arch: $(HOSTARCH)"
        @echo    "Build target-distro: $(DISTRO)"
        @echo    "Build target-distroname: $(DISTRONAME)"