diff options
| -rw-r--r-- | scripts/setup_pfiles.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/setup_pfiles.py b/scripts/setup_pfiles.py index d927005..8a80a14 100644 --- a/scripts/setup_pfiles.py +++ b/scripts/setup_pfiles.py @@ -30,6 +30,9 @@ def setup_pfiles(tools): "paccess", tool ]).decode("utf-8").strip() subprocess.check_call(["punlearn", tool]) - shutil.copy(pfile, ".") + try: + shutil.copy(pfile, ".") + except shutil.SameFileError: + pass # Setup the ``PFILES`` environment variable os.environ["PFILES"] = "./:" + os.environ["PFILES"] |