Project

General

Profile

« Previous | Next » 

Revision 9506

Added by Aaron Marcuse-Kubitza over 11 years ago

*{.sh,run}: use new top_make instead of `make --directory="$top_dir"`

  • added
  • modified
  • copied
  • renamed
  • deleted