Overview
| Comment: | [build] purge.py to delete cruft |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk | build |
| Files: | files | file ages | folders |
| SHA3-256: |
7b317c7a0a4bbb6808907c22bc4e133d |
| User & Date: | olr on 2020-07-22 15:44:13 |
| Other Links: | manifest | tags |
Context
|
2020-07-22
| ||
| 18:19 | [fr] ajustements check-in: b394b93d8b user: olr tags: trunk, fr | |
| 15:44 | [build] purge.py to delete cruft check-in: 7b317c7a0a user: olr tags: trunk, build | |
| 15:27 | [fr] ajustements check-in: e4eca0fcce user: olr tags: trunk, fr | |
Changes
Modified helpers.py from [36dfdf0199] to [55556da673].
| ︙ | |||
43 44 45 46 47 48 49 | 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 | - + - + - + |
"unzip file <spfZip> at <spfDest>"
if spDest:
if bCreatePath and not os.path.exists(spDest):
os.makedirs(spDest, exist_ok=True)
print("> unzip in: "+ spDest)
spInstall = os.path.abspath(spDest)
if os.path.isdir(spInstall):
|
| ︙ |
Added purge.py version [b56a852cf2].
|