[Flexiblesusy-commits] [FlexibleSUSY/FlexibleSUSY] 5696a0: make check_library() and check_header() return an ...

[GitHub]

  Branch: refs/heads/development
  Home:   https://github.com/FlexibleSUSY/FlexibleSUSY
  Commit: 5696a0adcf2c6b6d497ee7ce5d3d76241643b623
      https://github.com/FlexibleSUSY/FlexibleSUSY/commit/5696a0adcf2c6b6d497ee7ce5d3d76241643b623
  Author: Alexander Voigt <Alexander.Voigt at desy.de>
  Date:   2015-06-25 (Thu, 25 Jun 2015)

  Changed paths:
    M configure

  Log Message:
  -----------
  make check_library() and check_header() return an exit code