Skip to content
Snippets Groups Projects
Commit 82ef0e8c authored by tuhe's avatar tuhe
Browse files

Removed wasteful tmp-directory.

parent 595e9e7b
No related branches found
No related tags found
No related merge requests found
......@@ -17,6 +17,8 @@ def make_dummies(zip_file_path="zip1.zip", n_handins=3, screwups=4, student_base
if os.path.isdir(tmp):
shutil.rmtree(tmp)
os.mkdir(tmp)
print("Working in directory", tmp)
# now we got a temp dir.
# Deploy to this dir and create handins. Turn it all into a .zip file and return it.
np.random.seed(42)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment