osmo-build-dep.sh: don't build osmo-gsm-manuals

Save time by only cloning the repository, and not running autoreconf
-fi, ./configure, make and make install. Especially the tests during
make took up significant time, that slowed every project depending on
osmo-gsm-manuals down while being built through master-builds or
gerrit-verifications jobs. Set OSMO_GSM_MANUALS_DIR to the clone
location.

This is an interim measure, I'll submit more patches soon that remove
the 'osmo-build-dep.sh osmo-gsm-manuals' calls from all projects.

Change-Id: I5238cf3f93ded97ed2b44d27868123a646e122dc
Related: OS#4912

jobs/gerrit-verifications.yml

@@ -34,6 +34,7 @@
               -e JOB_NAME="$JOB_NAME" \
               -e MAKE=make \
               -e OSMOPY_DEBUG_TCP_SOCKETS="1" \
+              -e OSMO_GSM_MANUALS_DIR="/build/deps/osmo-gsm-manuals" \
               -e PARALLEL_MAKE="$PARALLEL_MAKE" \
               -e PATH="$PATH:/build_bin" \
               -e WITH_MANUALS="1" \

jobs/master-builds.yml

@@ -33,6 +33,7 @@
               -e JOB_NAME="$JOB_NAME" \
               -e MAKE=make \
               -e OSMOPY_DEBUG_TCP_SOCKETS="1" \
+              -e OSMO_GSM_MANUALS_DIR="/build/deps/osmo-gsm-manuals" \
               -e PARALLEL_MAKE="$PARALLEL_MAKE" \
               -e PATH="$PATH:/build_bin" \
               -e PUBLISH="1" \

scripts/osmo-build-dep.sh

@@ -54,6 +54,14 @@ if [ -n "$subdir" ]; then
 	cd "$subdir"
 fi
 
+# osmo-gsm-manuals: save time by only cloning the repository (OS#4912).
+# Projects depending on osmo-gsm-manuals can still build the manuals, because
+# we set OSMO_GSM_MANUALS_DIR to the clone destination.
+if [ "$project" = "osmo-gsm-manuals" ]; then
+	echo "WARNING: osmo-gsm-manuals cloned, but skipping build (OS#4912)"
+	exit 0
+fi
+
 autoreconf --install --force
 ./configure --prefix="$inst/stow/$project" --with-systemdsystemunitdir="$inst/stow/$project/lib/systemd/system" $cfg