mirror of
https://github.com/gbdev/rgbds.git
synced 2026-08-19 21:34:31 +00:00
The latter is not a Bash built-in, and some environments turn out to produce non-conforming return codes. `type` is provided by Bash itself, so we can rely on it better.