Project

General

Profile

« Previous | Next » 

Revision 10062

bugfix: bin/make: use separate $make_filter_active flag instead of $is_outermost for avoiding duplicate output filtering, so that an outer runscript, which sets $is_outermost but does not activate the make filter, will not prevent the make filter from being activated when make is invoked

  • added
  • modified
  • copied
  • renamed
  • deleted