Improve gitrev handling.

2016-09-26 13:26:37 +02:00
parent ceddf29586
commit 8bc7880b19
4 changed files with 25 additions and 11 deletions
@@ -670,6 +670,7 @@ void do_files(int i, int argc, char *argv[]);


 // help.cpp
+extern const char gitrev[];
 void show_head(void);
 void show_help(int verbose=0);
 void show_license(void);