Hi Emil, I replied to the rest further down-thread, but: On 6 June 2018 at 15:33, Emil Velikov <emil.l.veli...@gmail.com> wrote: > On 5 June 2018 at 23:06, Daniel Stone <dani...@collabora.com> wrote: >> + - git clone --depth=1 >> git://anongit.freedesktop.org/git/wayland/wayland-protocols >> + - export WAYLAND_PROTOCOLS_DIR="$(pwd)/prefix-wayland-protocols" >> + - export >> PKG_CONFIG_PATH="$WAYLAND_PROTOCOLS_DIR/share/pkgconfig:$PKG_CONFIG_PATH" >> + - cd wayland-protocols >> + - git show -s HEAD > Is this needed?
It's not entirely necessary, but we do get quite verbose output from the package manager as to which versions etc it's installing; I figured being more verbose in the logs was better here, so people could figure out what a particular job was built against. Cheers, Daniel _______________________________________________ wayland-devel mailing list wayland-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/wayland-devel