diff options
-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() { |
index : w32lib | ||
custom import libraries for OS user-space interfaces | midipix |
summaryrefslogtreecommitdiffhomepage |
-rwxr-xr-x | configure | 3 |
@@ -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() { |