Rev 3022 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3022 | Rev 4055 | ||
---|---|---|---|
Line 32... | Line 32... | ||
32 | /** @file |
32 | /** @file |
33 | */ |
33 | */ |
34 | 34 | ||
35 | #include <main/version.h> |
35 | #include <main/version.h> |
36 | #include <print.h> |
36 | #include <print.h> |
- | 37 | #include <macros.h> |
|
37 | 38 | ||
38 | char *project = "SPARTAN kernel"; |
39 | char *project = "SPARTAN kernel"; |
39 | char *copyright = "Copyright (c) 2001-2008 HelenOS project"; |
40 | char *copyright = "Copyright (c) 2001-2009 HelenOS project"; |
40 | char *release = RELEASE; |
41 | char *release = STRING(RELEASE); |
41 | char *name = NAME; |
42 | char *name = STRING(NAME); |
42 | char *arch = ARCH; |
43 | char *arch = STRING(KARCH); |
43 | 44 | ||
44 | #ifdef REVISION |
45 | #ifdef REVISION |
45 | char *revision = ", revision " REVISION; |
46 | char *revision = ", revision " STRING(REVISION); |
46 | #else |
47 | #else |
47 | char *revision = ""; |
48 | char *revision = ""; |
48 | #endif |
49 | #endif |
49 | 50 | ||
50 | #ifdef TIMESTAMP |
51 | #ifdef TIMESTAMP |
51 | char *timestamp = " on " TIMESTAMP; |
52 | char *timestamp = " on " STRING(TIMESTAMP); |
52 | #else |
53 | #else |
53 | char *timestamp = ""; |
54 | char *timestamp = ""; |
54 | #endif |
55 | #endif |
55 | 56 | ||
56 | /** Print version information. */ |
57 | /** Print version information. */ |