El problema es que clock() devuelve siempre cero (0), tanto para t1 como para t2, y por eso no mide el tiempo. ¿Qué es lo que le falta "ajustar" para que funcione en plataformas Linux y/ similares?
Código
#include <stdio.h> #include <time.h> int main( ) { clock_t t1, t2; t1 = clock(); getchar(); t2 = clock(); printf("Han transcurrido %.2lf s\n", (double)(t2 - t1)/CLOCKS_PER_SEC ); }