C: clock_t, CPU Zeit wird nicht angezeigt, vielleicht ein ARM/Raspi Problem?

 1 /* runtime.c */
 2 #include <stdio.h>
 3 #include <stdlib.h>
 4 #include <time.h>
 5
 6 int main(void) {
 7 clock_t prgstart, prgende;
 8 int c;
 9
 10 prgstart=clock();
 11 printf("Startzeit Test %2.f\n",(float)prgstart);
 12 printf("Geben Sie etwas ein, und beenden Sie mit #\n");
 13 printf("\n > ");
 14 while((c = getchar()) != '#')
 15 putchar(c);
 16 prgende = clock();
 17 printf("Endzeit Test %2.f\n",(float)prgende);
 18 printf("Die Programmlaufzeit betrug %.2f Sekunden\n ",
 19 ((float)(prgende - prgstart) / CLOCKS_PER_SEC));
 20 return EXIT_SUCCESS;
 21 }