From 96897adad83661f17380bbab6d2a72faee3a38b1 Mon Sep 17 00:00:00 2001
From: cancel <cancel@cancel.fm>
Date: Sun, 5 Jan 2020 01:31:37 +0900
Subject: [PATCH] Update message in debug+portmidi builds

---
 tool | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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