annotate osdep/gettimeofday.c @ 29998:0dacb57a3d3e

Filter list of missing source files so that it only contains nonexisting files. Thus those files can be symlinked directly without testing if they exist.
author diego
date Mon, 14 Dec 2009 12:03:02 +0000
parents 5cfef41a1771
children f5d48f0e33c3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
28744
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
1 /*
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
2 * This file is part of MPlayer.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
3 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
4 * MPlayer is free software; you can redistribute it and/or modify
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
5 * it under the terms of the GNU General Public License as published by
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
6 * the Free Software Foundation; either version 2 of the License, or
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
7 * (at your option) any later version.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
8 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
9 * MPlayer is distributed in the hope that it will be useful,
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
12 * GNU General Public License for more details.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
13 *
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
14 * You should have received a copy of the GNU General Public License along
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
15 * with MPlayer; if not, write to the Free Software Foundation, Inc.,
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
16 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
17 */
5cfef41a1771 Add standard license headers to files.
diego
parents: 21855
diff changeset
18
16985
08cac43f1e38 Unify include paths, -I.. is in CFLAGS.
diego
parents: 9834
diff changeset
19 #include "config.h"
9829
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
20
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
21 #include <sys/time.h>
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
22 #include <sys/timeb.h>
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
23 void gettimeofday(struct timeval* t,void* timezone)
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
24 { struct timeb timebuffer;
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
25 ftime( &timebuffer );
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
26 t->tv_sec=timebuffer.time;
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
27 t->tv_usec=1000*timebuffer.millitm;
0f2cc9ef24f6 gettimeofday() emulation using ftime()
faust3
parents:
diff changeset
28 }