PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

Make `util/make_version` more POSIX-compliant #703

Closed JasonGross closed 10 months ago

JasonGross commented 10 months ago

Fixes #702

I've avoided &> as its not POSIX-complaint according to stack exchange.

I've also taken the opportunity to simplify slightly the logic that checks for git, relying on the return code of command -v rather than testing that the resulting path exists.