Add date to temporary directory name (#36)

opprop · May 11, 2021 · 365d162 · 365d162
1 parent 4517075
commit 365d162
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/do_like_javac/tools/wpi.py b/do_like_javac/tools/wpi.py
@@ -1,6 +1,7 @@
 from filecmp import dircmp
 
 import common
+import datetime
 import os
 import pprint
 import shutil
@@ -52,7 +53,7 @@ def run(args, javac_commands, jars):
         iteration = 0
         diffResult = 1
         stubDirs = []
-        resultsDir = tempfile.mkdtemp(prefix="wpi-stubs-")
+        resultsDir = tempfile.mkdtemp(prefix="wpi-stubs-" + datetime.now().format("%Y%m%d%H%M%S)"))
 
         print "Directory for generated stub files: " + str(resultsDir)
 

diff --git a/run-cf-tests.sh b/run-cf-tests.sh
@@ -17,7 +17,7 @@ else
   mkdir -p /tmp/"$USER" && git -C /tmp/"$USER" clone --depth 1 -q https://github.com/plume-lib/plume-scripts.git
 fi
 
-### clone the CF. If there is a branch with the same name as this branch, git-clone-related will check out that branch.
+### Clone the CF. If there is a branch with the same name as this branch, git-clone-related will check out that branch.
 rm -rf /tmp/"$USER"/checker-framework
 /tmp/"$USER"/plume-scripts/git-clone-related typetools checker-framework /tmp/"$USER"/checker-framework
 export CHECKERFRAMEWORK=/tmp/"$USER"/checker-framework