Have `make clobber` delete `builddir` #106704

Closed

Closed

Have make clobber delete builddir#106704

Labels

OS-wasibuildtype-feature

When you run make distclean, it doesn't touch builddir, even though that's (currently) where cross-builds put their builds. The command should probably rm -r builddir (assuming we stick with builddir as the directory name; need to check with other core devs before this gets wider than Tools/wasm and .gitignore).

added

on Jul 13, 2023

changed the title Have `make distclean` delete `builddir` Have `make clobber` delete `builddir`

on Nov 22, 2023

added this to WASI to tier 2

on Nov 27, 2023

github-project-automation

moved this to Todo in WASI to tier 2

on Nov 27, 2023

moved this from Todo to In Progress in WASI to tier 2

on Nov 27, 2023

MemberAuthor

Part of #112473 .

added a commit that references this issue

on Nov 30, 2023

GH-103065, GH-106704, GH-105253: Provide a `Tools/wasm/wasi.py` scrip…

closed this as completed

on Nov 30, 2023

github-project-automation

moved this from In Progress to Done in WASI to tier 2

on Nov 30, 2023

added a commit that references this issue

on Feb 11, 2024

pythonGH-103065, pythonGH-106704, pythonGH-105253: Provide a `Tools/w…

added a commit that references this issue

pythonGH-103065, pythonGH-106704, pythonGH-105253: Provide a `Tools/w…

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

OS-wasibuildtype-feature

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Participants