Skip to content
Snippets Groups Projects
  1. Dec 09, 2020
  2. Dec 08, 2020
  3. Dec 05, 2020
  4. Dec 03, 2020
  5. Dec 02, 2020
  6. Nov 30, 2020
  7. Nov 25, 2020
  8. Nov 24, 2020
  9. Nov 21, 2020
    • Karel Koci's avatar
      generate_*: improve includes to be more consistent · c5ca0c17
      Karel Koci authored
      This is just stylistic change. It removes dirname and instead relies on
      string operation. There should be no way of having in $0 anything else
      other than some valid path. That is last part has to be at least
      /name_of_file. This means that we do not have to rely on dirname and we
      can safely just remove anything after last slash (including that slash).
      We user dirname only for paths in sub-directories.
      Verified
      c5ca0c17
    • Karel Koci's avatar
      helpers/force-make: fix fast path to fallback · 530f999d
      Karel Koci authored
      This fixes bug that caused force-make to go to fallback immediately
      after first batch of retries.
      
      As a benefit it also adds some reporting of what is going on. This
      should help to locate fail point as well as to inform about execution
      progress.
      Verified
      530f999d
  10. Nov 20, 2020
  11. Nov 16, 2020
  12. Nov 12, 2020