« Previous | Next » 

Revision 811

Added by Johnoel Ancheta over 1 year ago

Fix Makefile in case default shell is not bash.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences