Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
Blame Permalink
  • Giovanni Bussi's avatar
    5a854736
    Tuned travis file · 5a854736
    Giovanni Bussi authored 
    I changed a few things:
1. instead of checking with "--enable-debug" and "--enable-debug --enable-debug-glibcxx"
  I always use both.
2. I check with debug flags and serial compiler (before it was only debug+MPI)
3. I changed the order so that runs with manual is the first and runs
  with debug options are also made earlier. This is convenient since they
  take more time
    5a854736
    History
    Tuned travis file
    Giovanni Bussi authored 
    I changed a few things:
1. instead of checking with "--enable-debug" and "--enable-debug --enable-debug-glibcxx"
  I always use both.
2. I check with debug flags and serial compiler (before it was only debug+MPI)
3. I changed the order so that runs with manual is the first and runs
  with debug options are also made earlier. This is convenient since they
  take more time
Code owners
Assign users and groups as approvers for specific file changes. Learn more.