Permalink
Switch branches/tags
Commits on Feb 5, 2017
  1. ./configure needs bash

    dancek committed Feb 5, 2017
    The `configure` script uses `set -o pipefail` which is a bash feature. The shebang should be changed.