1. Oct 28, 2018
  2. May 02, 2018
  3. Apr 19, 2018
  4. Apr 12, 2018
  5. Mar 25, 2018
  6. Mar 20, 2018
  7. Mar 16, 2018
  8. Mar 14, 2018
  9. 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
    • Tommaso Tocci's avatar
      speedup src download for some deps · 7a7e3ef8
      Tommaso Tocci authored
      For dependencies in which a specific tags is specified we can download
      the code snapshot instead of cloning the whole repo.
      7a7e3ef8
    • Tommaso Tocci's avatar
      dl_script: download deps in parallel · fac077d8
      Tommaso Tocci authored
      Perform all the download and git clone action in parallel using several
      processes.
      
      Due to the new parallel use of the clonedeps and wgetdeps functions,
      some adjustment to printed message has been made. Now the function write
      on stdout only once when they complete.
      fac077d8
  10. Mar 09, 2018
  11. Mar 02, 2018
  12. Feb 26, 2018
  13. Feb 22, 2018
  14. Feb 21, 2018
    • Tommaso Tocci's avatar
      Download script: force git checkout · 91186508
      Tommaso Tocci authored
      The download script can be used to update dependencies source code by
      pull the new version and performing a checkout to that version.
      Without forcing (-f) the checkout files that have been modified or
      patched won't be updated correctly.
      91186508
  15. Feb 16, 2018
  16. Jan 19, 2018
  17. Jan 17, 2018
  18. Jan 02, 2018