Actions
Bug #3905
closedIn devel tree, build-area should be renamed to build
Start date:
03/18/2009
Due date:
% Done:
0%
Estimated time:
Bugzilla-Id:
3905
Description
I'd like to see the "build-area" directory name changed to "build",
though this is a matter of personal preference. I think "build" is more
common than "build-area" and is shorter to type.
Also, "-area" does not supply much information. All directories are
areas or workspaces, so "-area" is redundant.
Updated by Chad Berkley about 15 years ago
Closing this. It was thought that the name 'build' would make people think they could delete the directory, so the name will remain 'build-area'.
Actions