diff osdep/timer-linux.c @ 36886:590e9305f12c

configure: Fix unnecessary rebuilds.
author reimar
date Fri, 07 Mar 2014 18:29:27 +0000
parents 514016233368
children
line wrap: on
line diff