diff options
| author | midipix <writeonce@midipix.org> | 2019-10-18 03:22:04 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2019-10-18 03:22:58 +0000 |
| commit | ed86837876681c15db3d7c26b5e54e23a40ee1ca (patch) | |
| tree | c1e8bc24e49e9f1b6058e5a72d3ada65deeca776 /configure | |
| parent | 7edff4ab76c42a347744568a819629aaad26f1ce (diff) | |
| download | w32lib-ed86837876681c15db3d7c26b5e54e23a40ee1ca.tar.bz2 w32lib-ed86837876681c15db3d7c26b5e54e23a40ee1ca.tar.xz | |
build system: configure: config_failure(): ensure initialization of mb_success.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5,8 +5,9 @@ set -eu trap config_failure 1 2 EXIT # before we begin... -mb_script="$0" mb_path="$PATH" +mb_script="$0" +mb_success=no usage() { |