Searched refs:extern_dir (Results 1 - 1 of 1) sorted by relevance
| /pkg/src/ | ||
| H A D | setup.py | 103 extern_dir = os.path.normpath(os.path.join(pwd, "extern")) variable 1518 print("deleting " + extern_dir) 1519 shutil.rmtree(extern_dir, True) |
Completed in 13 milliseconds