Rev 9379 | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 9371 | Boppan | 1 | #!/usr/bin/python3 |
| 2 | import os |
||
| 3 | import sys |
||
| 4 | import shutil |
||
| 5 | |||
| 9379 | Boppan | 6 | import workspace.build |
| 7 | |||
| 9371 | Boppan | 8 | # Remove workspace folder |
| 9 | shutil.rmtree("workspace", ignore_errors = True) |
||
| 10 | |||
| 9377 | Boppan | 11 | # Remove tup database |
| 12 | shutil.rmtree(".tup", ignore_errors = True) |
||
| 13 | |||
| 9379 | Boppan | 14 | # Make build.py remove the stuff it built |
| 15 | workspace.build.clean() |
||
| 9371 | Boppan | 16 | |
| 17 | # Remove files copied from _tools/workspace |
||
| 18 | tools = os.path.dirname(os.path.realpath(__file__)) |
||
| 19 | tools_workspace = os.path.join(tools, "workspace") |
||
| 20 | for copied_script in os.listdir(tools_workspace): |
||
| 21 | if os.path.exists(copied_script): |
||
| 22 | os.remove(copied_script) |
||
| 23 |