comparison makefile.wpm @ 1840:3343a61f3262

Linux seems to need stdint.h for uintptr_t... Hopefully this won't break other platforms.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Tue, 20 Nov 2012 04:20:39 +0000
parents e113f9e46fbd
children 1660b4ecb92f
comparison
equal deleted inserted replaced
1839:22225eb286e5 1840:3343a61f3262