simplify use of get_temporary_directory

NathanJPhillips · May 3, 2018 · 9609a52 · 9609a52
1 parent 5907f68
commit 9609a52
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/src/goto-cc/compile.cpp b/src/goto-cc/compile.cpp
@@ -226,20 +226,14 @@ bool compilet::add_files_from_archive(
   const std::string &file_name,
   bool thin_archive)
 {
-#ifdef _WIN32
-  char td[MAX_PATH + 1];
-#else
-  char td[] = "goto-cc.XXXXXX";
-#endif
-
   std::stringstream cmd;
   FILE *stream;
 
   std::string tstr = working_directory;
 
   if(!thin_archive)
   {
-    tstr = get_temporary_directory(td);
+    tstr = get_temporary_directory("goto-cc.XXXXXX");
 
     if(tstr=="")
     {