Commits on Jul 30, 2018

1. make: revert to official source

   

   thomas committed Jul 30, 2018
   Configuration menu

   • View commit details
   • Copy full SHA for b76fdfa
   • Browse repository at this point

   Copy the full SHA

   b76fdfa View commit details

   Browse the repository at this point in the history

2. make: add patches

   

   thomas committed Jul 30, 2018
   Configuration menu

   • View commit details
   • Copy full SHA for a93e36a
   • Browse repository at this point

   Copy the full SHA

   a93e36a View commit details

   Browse the repository at this point in the history

3. make: slightly reorganize build process

   

   thomas committed Jul 30, 2018
   Configuration menu

   • View commit details
   • Copy full SHA for 3101b50
   • Browse repository at this point

   Copy the full SHA

   3101b50 View commit details

   Browse the repository at this point in the history

4. make: bump build-id by one

   

   thomas committed Jul 30, 2018
   Configuration menu

   • View commit details
   • Copy full SHA for 0bfac15
   • Browse repository at this point

   Copy the full SHA

   0bfac15 View commit details

   Browse the repository at this point in the history