From 76276fdbeade20f30f9474e32a289dba5c09d920 Mon Sep 17 00:00:00 2001
From: AlexeyAB <alexeyab84@gmail.com>
Date: Wed, 23 Aug 2017 18:54:24 +0000
Subject: [PATCH] You can specify filename for output video by using -out_filename res.avi

---
 src/utils.h |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/src/utils.h b/src/utils.h
index f569d77..9949d6d 100644
--- a/src/utils.h
+++ b/src/utils.h
@@ -63,6 +63,9 @@
 char *find_char_arg(int argc, char **argv, char *arg, char *def);
 int sample_array(float *a, int n);
 void print_statistics(float *a, int n);
+unsigned int random_gen();
+float random_float();
+float rand_uniform_strong(float min, float max);
 
 #endif
 

--
Gitblit v1.10.0