From 78728c2c6e1bab612a0a28d940e448635cc680ab Mon Sep 17 00:00:00 2001
From: SJ <sj@acts.hu>
Date: Wed, 18 Mar 2015 11:20:46 +0100
Subject: [PATCH] added version number for piler -v

---
 src/piler.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/piler.c b/src/piler.c
index d3330dcb..4586b251 100644
--- a/src/piler.c
+++ b/src/piler.c
@@ -362,6 +362,9 @@ int main(int argc, char **argv){
                    break;
 
         case 'v' :
+                   printf("%s build %d\n", VERSION, get_build());
+                   return 0;
+
         case 'V' :
                    printf("%s %s, build %d, Janos SUTO <sj@acts.hu>\n\n%s\n\n", PROGNAME, VERSION, get_build(), CONFIGURE_PARAMS);
                    return 0;