mirror of
https://github.com/gbdev/rgbds.git
synced 2026-05-08 10:59:36 +00:00
fa22b78e7d
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.