URL:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=13305>
Summary: potentially severe move of source directory during
"make dist"
Project: GNUstep
Submitted by: wolfgang
Submitted on: dim 05.06.2005 � 20:20
Category: Makefiles
Severity: 3 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
_______________________________________________________
Details:
In $MAKEFILES/Master/source-distribution.make, the act of "make dist"
temporarily renames the source directory. This is wrong by any good practice
"manual".
First, because a program could be running inside of that directory and try to
access a file which would then be made unavailable. Second, if you interrupt
that step, you can be left with your directory not being renamed back.
What is considered good practice is to not interfere with the user's
environment at all.
As posted in <[EMAIL PROTECTED]>, this can lead to serious
loss in programming hours due to the programmer considering its environment
to be sane...
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=13305>
_______________________________________________
Message post� via/par Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-gnustep mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-gnustep
