GNOME Bugzilla – Bug 773085
build: Fix git submodule fetching with builddir != srcdir
Last modified: 2016-12-22 21:39:13 UTC
.
Created attachment 337834 [details] [review] build: Fix git submodule fetching with builddir != srcdir We were running the git submodule update in builddir, instead of srcdir, which might have lead to submodules not updating, and submodule tags being reverted to older versions in some contributions.
Review of attachment 337834 [details] [review]: looks good
Attachment 337834 [details] pushed as 56d0d72 - build: Fix git submodule fetching with builddir != srcdir
gnome-shell build fails with the above commit. ( pushd / popd are bash specific and the script uses /bin/sh ) *** Configuring gnome-shell *** [1/93] /home/dev/jhbuild/checkout/gnome-shell/autogen.sh: 14: /home/dev/jhbuild/checkout/gnome-shell/autogen.sh: pushd: not found + Setting up submodules fatal: Not a git repository (or any parent up to mount point /home) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). fatal: Not a git repository (or any parent up to mount point /home) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). /home/dev/jhbuild/checkout/gnome-shell/autogen.sh: 24: /home/dev/jhbuild/checkout/gnome-shell/autogen.sh: popd: not found /home/dev/jhbuild/install/bin/gnome-autogen.sh
Opened new bug 776412