1. 31 Oct, 2019 2 commits
  2. 23 May, 2019 3 commits
  3. 21 May, 2019 1 commit
  4. 21 Dec, 2017 1 commit
  5. 29 Nov, 2017 1 commit
  6. 26 Jun, 2017 7 commits
  7. 20 Jun, 2017 20 commits
  8. 20 Mar, 2017 2 commits
    • Alessandro Rubini's avatar
      tools/build-random: the scripts I used for randconfig · 8bc4e64e
      Alessandro Rubini authored
      It's not very cleaned-up, but may be useful for other developers.
      
          * tools/build-random/manybuilds
      
      It builds with randomconfig. It remove ppsi configuration so
      the wrpc-sw makefile uses a proper one, even if PPSI_FORCE_CONFIG
      is false.
      
      It leave around some files: configs and build logs for warning/error
      builds, and only the config for good ones. You'll find them
      by "git status".
      
      It also avoids re-building and already known good configuration.
      
          * tools/build-random/unique-error
      
      This filters error builds to only report one per type.
      
          * tools/build-random/unique-warning
      
      Same for warning-only failures
      Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
      8bc4e64e
    • Alessandro Rubini's avatar
      remove uart_sw, unused · d380b3d9
      Alessandro Rubini authored
      This also include a ppsi commit. We must have both at the same time,
      because each uses a feature of the other, to link sw-uart at build time.
      Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
      d380b3d9
  9. 08 Mar, 2017 1 commit
  10. 23 Feb, 2017 2 commits