[bug #13305] potentially severe move of source directory during "make dist"

[Wolfgang Sourdeau]

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 <20050605182916.GA32281@Contre.COM>, 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/