From c021841a52a7b71224b755bfbf779b05012b59d5 Mon Sep 17 00:00:00 2001
From: Tino Hager <tino.hager@nager.at>
Date: Tue, 10 Jul 2018 19:46:14 +0000
Subject: [PATCH] Get gpu count and name

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

diff --git a/src/utils.h b/src/utils.h
index d56931c..58cea93 100644
--- a/src/utils.h
+++ b/src/utils.h
@@ -25,6 +25,7 @@
 #endif
 #endif
 
+double what_time_is_it_now();
 int *read_map(char *filename);
 void shuffle(void *arr, size_t n, size_t size);
 void sorta_shuffle(void *arr, size_t n, size_t size, size_t sections);
@@ -39,10 +40,12 @@
 int read_all_fail(int fd, char *buffer, size_t bytes);
 int write_all_fail(int fd, char *buffer, size_t bytes);
 void find_replace(char *str, char *orig, char *rep, char *output);
+void replace_image_to_label(char *input_path, char *output_path);
 void error(const char *s);
 void malloc_error();
 void file_error(char *s);
 void strip(char *s);
+void strip_args(char *s);
 void strip_char(char *s, char bad);
 void top_k(float *a, int n, int k, int *index);
 list *split_str(char *s, char delim);

--
Gitblit v1.10.0