Stephan Knauss <o...@stephans-server.de> wrote:
> How do I find out how many bits my server OS has?
A portable ANSI C code for bitsize detection would be this one:
#include <stdio.h>
#include <stdint.h>
int main() {
printf("%d\n",8*sizeof(uintptr_t));
return(0);
}
I'm using the size of an unsigned integer pointer because this is the one
used for memory access.
Sven
--
"Whenever there is a conflict between human rights and property
rights, human rights must prevail." (Abraham Lincoln)
/me is giggls@ircnet, http://sven.gegg.us/ on the Web
_______________________________________________
dev mailing list
dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/dev
