From: Ben Pfaff <blp@nicira.com>
Date: Fri, 6 Feb 2009 17:16:35 +0000 (-0800)
Subject: vswitchd: Add build number to --version output.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b5ead43fb52fa7df56449e0a5d08adf2f2da038f;p=openvswitch

vswitchd: Add build number to --version output.
---

diff --git a/vswitchd/vswitchd.c b/vswitchd/vswitchd.c
index 5077415d..c7e5c862 100644
--- a/vswitchd/vswitchd.c
+++ b/vswitchd/vswitchd.c
@@ -168,7 +168,8 @@ parse_options(int argc, char *argv[])
             usage();
 
         case 'V':
-            printf("%s "VERSION" compiled "__DATE__" "__TIME__"\n", argv[0]);
+            printf("%s "VERSION BUILDNR" compiled "__DATE__" "__TIME__"\n",
+                   argv[0]);
             exit(EXIT_SUCCESS);
 
         VLOG_OPTION_HANDLERS