joerg 85512eddde No idea what __os_clock is, but replace it with portable gettimeofday ... usage. Add DESTDIR support. Bump revision.		2008-04-03 11:18:23 +00:00
..
patch-aa
patch-ab	No idea what __os_clock is, but replace it with portable gettimeofday	2008-04-03 11:18:23 +00:00
patch-ac
patch-ad	No idea what __os_clock is, but replace it with portable gettimeofday	2008-04-03 11:18:23 +00:00