diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-01-13 16:52:23 +0100 |
---|---|---|
committer | osmith <osmith@sysmocom.de> | 2021-01-18 13:59:14 +0000 |
commit | 90544fe93428c70e77ab82f0682f343231aaaccd (patch) | |
tree | e63705b0a546a6bc4bc9f3defc0f11fae7d7960a | |
parent | 0550cf9b921b10336852c056c24867f2f317c16b (diff) |
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
4cbc445616fc9e0e4ded5eba56b2e741d0f332a3.
Related: OS#4912
Depends: https://gerrit.osmocom.org/q/topic:jenkins-no-manuals-dep
Change-Id: I88d57ee04775dc75e6ca3152d7edfa7f47608c8a
-rwxr-xr-x | scripts/osmo-build-dep.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/osmo-build-dep.sh b/scripts/osmo-build-dep.sh index 45916f6..7013414 100755 --- a/scripts/osmo-build-dep.sh +++ b/scripts/osmo-build-dep.sh @@ -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 |