diff --git a/tool b/tool index c506e60..76b919f 100755 --- a/tool +++ b/tool @@ -355,7 +355,7 @@ build_target() { add libraries -lportmidi add cc_flags -DFEAT_PORTMIDI if [[ $config_mode = debug ]]; then - echo -e "Warning: The PortMIDI library contains bugs.\\nIt may trigger address sanitizer in debug builds.\\nThese are not bugs in orca." >&2 + echo -e "Warning: The PortMIDI library contains code that may trigger address sanitizer in debug builds.\\nThese are not bugs in orca." >&2 fi fi if [[ $mouse_disabled = 1 ]]; then