mirror of https://gerrit.osmocom.org/osmo-ci
Revert "osmo-build-dep.sh: don't build osmo-gsm-manuals"
Now that we have the proper fix of making a clone of
osmo-gsm-manuals.git available before builds start, and not using
'osmo-build-dep.sh osmo-gsm-manuals' in the contrib/jenkins.sh files
anymore, we can remove the temporary solution. This reverts commit
4cbc445616
.
Related: OS#4912
Depends: https://gerrit.osmocom.org/q/topic:jenkins-no-manuals-dep
Change-Id: I88d57ee04775dc75e6ca3152d7edfa7f47608c8a
This commit is contained in:
parent
0550cf9b92
commit
90544fe934
|
@ -54,14 +54,6 @@ 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
|
||||
|
||||
|
|
Loading…
Reference in New Issue