[bug #16166] make 3.81rc2: make distclean does not remove build.sh

[Paul D. Smith]

Update of bug #16166 (project make):

                  Status:                    None => Fixed                  
             Assigned to:                    None => psmith                 
             Open/Closed:                    Open => Closed                 
           Fixed Release:                    None => CVS                    

    _______________________________________________________

Follow-up Comment #1:

This wasn't caught dur to a more subtle bug: if you built outside of the
source directory build.sh wasn't being created at all.  Because of this, the
normal checks that distclean works properly weren't catching the fact that
build.sh was left behind.

If fixed both of these problems.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=16166>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/