ref: 96897adad83661f17380bbab6d2a72faee3a38b1
parent: b9e68e0be99c6bd6b20b000544ce88a9ecbac104
author: cancel <cancel@cancel.fm>
date: Sat Jan 4 20:31:37 EST 2020
Update message in debug+portmidi builds
--- a/tool
+++ b/tool
@@ -355,7 +355,7 @@
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