Skip to content
  1. Oct 28, 2018
  2. May 02, 2018
  3. Apr 27, 2018
  4. Apr 19, 2018
  5. Apr 13, 2018
  6. Apr 12, 2018
  7. Apr 10, 2018
  8. Apr 09, 2018
  9. Apr 08, 2018
  10. Apr 07, 2018
  11. Apr 06, 2018
  12. Apr 05, 2018
  13. Mar 30, 2018
  14. Mar 26, 2018
  15. Mar 25, 2018
  16. Mar 24, 2018
  17. Mar 23, 2018
  18. Mar 22, 2018
  19. Mar 20, 2018
  20. Mar 16, 2018
  21. Mar 14, 2018
  22. Mar 13, 2018
    • Marc Vef's avatar
    • Tommaso Tocci's avatar
      Download deps: do not use log file · 95169f6f
      Tommaso Tocci authored
      Since the download of sources are performed in parallel, we cannot use
      anymore a single log file.
      
      The output of the download commands has been reduced to errrors only and
      it will be outputted directly on stderr. Thus the log file stuff have been
      completely removed.
      
      Moreover the clonedeps function now takes the REPO as second parameter
      and additional (non mandatory) git flags as fourth parameter.
      
      Additional fixes have been introduced to run commands in script mode
      (-q, -f, ...)
      95169f6f