diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/test_build_extern.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/test_build_extern.py b/scripts/test_build_extern.py index 904dce00..e2c2cd87 100644 --- a/scripts/test_build_extern.py +++ b/scripts/test_build_extern.py @@ -7,6 +7,7 @@ import shutil import subprocess import sys import tempfile +from datetime import datetime import argparse @@ -89,7 +90,7 @@ with tempfile.TemporaryDirectory() as tempdir: with tempfile.TemporaryDirectory() as tempexdir: temp_example_base = Path(tempexdir) / example_base.name - print(f'Copy {example_base} => {temp_example_base}') + print(f'Copy {example_base} => {temp_example_base} at {datetime.now()}') shutil.copytree(example_base, temp_example_base) if (temp_example_base / 'build').exists(): |