devtools
devtools copied to clipboard
Add check_mac_devel()
This fixes #2507.