comparison Makefile @ 31464:1453fc56d49c

Change timer_name type from char* to char[]; patch taken from Uoti's tree.
author diego
date Wed, 23 Jun 2010 10:50:55 +0000
parents 1764d80899b8
children 13ca93203358
comparison
equal deleted inserted replaced
31463:f6381d990cf3 31464:1453fc56d49c