Use slightly more appropriate format strings for printing decimal values.
[ffmpeg.git] / tools / trasher.c
index baf1bc3f600cf5388a79aae0ade3e03ddd8152e6..c7a0c7aa6afe2a656368bd7e432466c91d3e0afc 100644 (file)
@@ -18,6 +18,7 @@
  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
  */
 
+#define _XOPEN_SOURCE 600
 #include <stdio.h>
 #include <stdlib.h>
 #include <time.h>