Restore custom tmp directory

[features.git] / src / support / filetools.h

diff --git a/src/support/filetools.h b/src/support/filetools.h
index 05b3d705ec740f66b5de6150a3c51828f07e0138..1ac0edf15b45cf40a93f53bc5c27ca0d4467e5a9 100644 (file)
--- a/src/support/filetools.h
+++ b/src/support/filetools.h
@@ -40,6 +40,10 @@ static std::set<std::string> tmp_names_;
 * all used temp file names.
 * If you don't have to remove the temp file manually, use TempFile instead!
 */
+FileName const tempFileName(FileName, bool const dir = false);
+/// Get temporary file name with custom path
+FileName const tempFileName(FileName, std::string const &, bool const dir = false);
+/// Get temporary file name with default path
 FileName const tempFileName(std::string const &, bool const dir = false);
 
 /// Remove and unregister a temporary file.