From b2338c1a6d1e57f01396a8e77c65734cb2f0ae17 Mon Sep 17 00:00:00 2001 From: Garrett D'Amore Date: Wed, 30 May 2018 14:12:16 -0700 Subject: fixes #499 Eliminate the unused nni_plat_home_dir... --- src/core/platform.h | 6 ------ 1 file changed, 6 deletions(-) (limited to 'src/core') diff --git a/src/core/platform.h b/src/core/platform.h index bdc74349..07bfc14c 100644 --- a/src/core/platform.h +++ b/src/core/platform.h @@ -523,12 +523,6 @@ extern int nni_plat_dir_remove(const char *); // The result should be freed with nni_strfree(). extern char *nni_plat_temp_dir(void); -// nni_plat_home_dir returns the "home" directory for the user running the -// application. This is a convenient place to store preferences, etc. -// Applications should append an application specific directory name. -// The result should be freed with nni_strfree(). -extern char *nni_plat_home_dir(void); - // nni_plat_join_dir joins to path components to make a path name. // For example. on UNIX systems nni_plat_join_dir("/tmp", "a") returns // "/tmp/a". The pathname returned should be freed with nni_strfree(). -- cgit v1.2.3-70-g09d2