Have make clobber delete builddir #106704
Copy link
Copy link
Closed
Labels
OS-wasibuildThe build process and cross-buildThe build process and cross-buildtype-featureA feature request or enhancementA feature request or enhancement
Description
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).
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
OS-wasibuildThe build process and cross-buildThe build process and cross-buildtype-featureA feature request or enhancementA feature request or enhancement
Projects
- StatusShow more project fieldsDone
Activity
[-]Have `make distclean` delete `builddir`[/-][+]Have `make clobber` delete `builddir`[/+]brettcannon commentedon Nov 27, 2023
Part of #112473 .
GH-103065, GH-106704, GH-105253: Provide a `Tools/wasm/wasi.py` scrip…
pythonGH-103065, pythonGH-106704, pythonGH-105253: Provide a `Tools/w…
pythonGH-103065, pythonGH-106704, pythonGH-105253: Provide a `Tools/w…