Project

General

Profile

Bug #3905

In devel tree, build-area should be renamed to build

Added by Christopher Brooks over 10 years ago. Updated about 10 years ago.

Status:
Resolved
Priority:
Normal
Assignee:
Category:
build system
Target version:
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.

History

#1 Updated by Chad Berkley about 10 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'.

#2 Updated by Redmine Admin over 6 years ago

Original Bugzilla ID was 3905

Also available in: Atom PDF