fix create tmp_dir in Windows (PaddlePaddle#1312)

xingyueye · Jul 26, 2022 · 419ffd3 · 419ffd3
1 parent c3032f3
commit 419ffd3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/paddleslim/auto_compression/compressor.py b/paddleslim/auto_compression/compressor.py
@@ -554,7 +554,7 @@ def _compiled_program(self, program_info, strategy):
 
     def create_tmp_dir(self, base_dir, prefix="tmp"):
         # create a new temp directory in final dir
-        s_datetime = strftime("%Y-%m-%d-%H:%M:%S", gmtime())
+        s_datetime = strftime("%Y_%m_%d_%H_%M_%S", gmtime())
         tmp_base_name = "_".join([prefix, str(os.getpid()), s_datetime])
         tmp_dir = os.path.join(base_dir, tmp_base_name)
         if not os.path.exists(tmp_dir):