UKB-VERSION-GEN: Use /bin/sh in place of bash

Open bgamari opened this issue 7 years ago • 0 comments

bash isn't necessarily available on all systems. This breaks on NixOS in particular.

Jun 22 '18 16:06 bgamari