On 7 June 2018 at 08:58, Daniel Stone <[email protected]> wrote: > Hi Emil, > I replied to the rest further down-thread, but: > > On 6 June 2018 at 15:33, Emil Velikov <[email protected]> wrote: >> On 5 June 2018 at 23:06, Daniel Stone <[email protected]> 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. > Interesting idea:
Wouldn't encoding the SHA in the path (just like weston) be a lot more obvious? -Emil _______________________________________________ wayland-devel mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/wayland-devel
