title: Time from gettimeofday not updating as it should
body: <pre><code>#include &lt;stdio.h&gt;
  #include &lt;sys/time.h&gt;
  
  int main()
  {
     float time;
     struct timeval tv;
     gettimeofday( &amp;tv, NULL );
     time = tv.tv_sec + ( tv.tv_usec / 1000000.0 );
     printf( "time: %f\n", time );
     return 0;
  }
  </code></pre>
  
  <p>Running binary generated by this code repeatedly, I tend to get the same time value:</p>
  
  <pre><code>$ ./a.out
  time: 1348059520.000000
  $ ./a.out
  time: 1348059520.000000
  $ ./a.out
  time: 1348059520.000000
  </code></pre>
  
  <p>This happens until several seconds later at which I get an updated time value.</p>