103 } |
103 } |
104 |
104 |
105 // Print header |
105 // Print header |
106 str header; |
106 str header; |
107 str headerline = "-="; |
107 str headerline = "-="; |
108 header.appendformat ("%s version %d.%d.%d", APPNAME, VERSION_MAJOR, VERSION_MINOR, VERSION_REVISION); |
108 header.appendformat ("%s version %d.%d", APPNAME, VERSION_MAJOR, VERSION_MINOR); |
|
109 |
|
110 // Include revision if non-zero |
|
111 if (VERSION_REVISION) |
|
112 header.appendformat (".%d", VERSION_REVISION); |
|
113 |
109 headerline.repeat ((header.len()/2)-1); |
114 headerline.repeat ((header.len()/2)-1); |
110 headerline += '-'; |
115 headerline += '-'; |
111 printf ("%s\n%s\n", header.chars(), headerline.chars()); |
116 printf ("%s\n%s\n", header.chars(), headerline.chars()); |
112 |
117 |
113 if (argc < 2) { |
118 if (argc < 2) { |