diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-12-07 20:35:26 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2011-12-07 20:35:26 +0100 |
| commit | a1843b44f360ad32f2c379bdb2e7338b1afa74f2 (patch) | |
| tree | b5a60c116af4db1903d57b3c66967a71725de1e6 | |
| parent | 3cf13845fa9b5765b91863265055325ed0e7eecf (diff) | |
Fix configure script.
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ #! /bin/sh -if [ sed --version >/dev/null 2>&1 ]; then +if sed --version >/dev/null 2>&1; then GSED=sed else GSED=gsed |