diff options
Diffstat (limited to 'crawl-ref/source/util')
-rwxr-xr-x | crawl-ref/source/util/gen_ver.pl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/crawl-ref/source/util/gen_ver.pl b/crawl-ref/source/util/gen_ver.pl index b6ace87a15..bccb73f5b2 100755 --- a/crawl-ref/source/util/gen_ver.pl +++ b/crawl-ref/source/util/gen_ver.pl @@ -106,6 +106,14 @@ if ( $verstring ne $tag || !$pretyp ) { } } +my $OS = `uname -o`; +my $machine = `uname -m`; +my $processor = `uname -p`; + +chomp($OS); +chomp($machine); +chomp($processor); + unlink("$outfile.tmp"); my $prefix = "CRAWL"; @@ -128,6 +136,10 @@ print OUT <<__eof__; #define ${prefix}_RESOURCE_VERSION ${major},${minor},${revis},${build} #define ${prefix}_RESOURCE_VERSION_STRING "${major}, ${minor}, ${revis}, ${build}" +#define ${prefix}_BUILD_OS "${OS}" +#define ${prefix}_BUILD_MACHINE "${machine}" +#define ${prefix}_BUILD_PROCESSOR "${processor}" + #endif __eof__ |