compile_wlcs: Compare WLCS version before using cached version

Both in CI, and when working locally, it is important to make sure the
expected version of WLCS is being used.
This commit is contained in:
Ben Widawsky 2023-06-21 10:05:17 -07:00
parent 82349491c3
commit 157812f4cc

View file

@ -2,7 +2,7 @@
WLCS_SHA=34e4804574324fa9f09fe85c19037bcc1444c465
if [ -f "./wlcs/wlcs" ]; then
if [ -f "./wlcs/wlcs" ] && [ "$(cd wlcs; git rev-parse HEAD)" = "${WLCS_SHA}" ] ; then
echo "Using cached WLCS."
else
echo "Compiling WLCS."