Skip to content
Snippets Groups Projects
  1. Jun 05, 2013
  2. May 29, 2013
  3. May 24, 2013
  4. May 23, 2013
  5. May 22, 2013
  6. May 16, 2013
  7. May 15, 2013
  8. May 13, 2013
    • Christian Engwer's avatar
      [dunecontrol] · 8b16eb31
      Christian Engwer authored
      quick-fix to make CMAKE builds respect the DUNE_BUILDDIR entry in opts
      files
      8b16eb31
  9. May 11, 2013
  10. May 10, 2013
  11. May 08, 2013
  12. May 07, 2013
  13. May 06, 2013
  14. May 04, 2013
  15. May 03, 2013
    • Markus Blatt's avatar
      058666de
    • Oliver Sander's avatar
      Allow the user to override whitespace hook setting in dune.module · 73555c98
      Oliver Sander authored
      This patch makes it possible to bypass installation of the whitespace hook by specifying
      
      VCSETUP_FLAGS="DISABLEWHITESPACEHOOK=1"
      
      in the user's options. If dunecontrol encounters that flag, it will not attempt to install
      the hook in any module, uninstall the hook if it has already been installed and output a
      warning telling the user that he'll have to take care of whitespace by himself.
      
      [[Imported from SVN: r7471]]
      73555c98
    • Oliver Sander's avatar
      Apply user-supplied Git configuration settings during vcsetup · db72bf40
      Oliver Sander authored
      This patch allows the user to specify a file with Git configuration options that
      will be applied during the vcsetup phase, which might be used to set a custom identity
      within the repository (e.g. an @dune-project.org email address) or to set up personal
      aliases.
      
      In order to enable this feature, put the line
      VCSETUP_FLAGS="GIT_CONFIG_FILE=</path/to/your/config/file>"
      into your options file. The configuration file itself is fed to the command
      "git config" line-by-line, so you can normally set an option by simply having a
      line like "config_key value" in the configuration file. Lines starting with # are
      skipped and can be used for comments.
      
      [[Imported from SVN: r7470]]
      db72bf40
    • Oliver Sander's avatar
      Enable installation of whitespace hook · 9aa947fd
      Oliver Sander authored
      [[Imported from SVN: r7469]]
      9aa947fd
    • Oliver Sander's avatar
      Run vcsetup during "dunecontrol all" · 7aec6859
      Oliver Sander authored
      This patch hooks vcsetup into the standard "dunecontrol all" incantation
      that most users are likely invoke after cloning a repository. By running
      vcsetup that way, most Dune users will automatically have the whitespace hook
      installed, which should greatly improve the usability of user-submitted patches.
      
      [[Imported from SVN: r7468]]
      7aec6859
Loading