diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index da8703a22..4b9d532c1 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -54,7 +54,6 @@ build_project() { # Build and publish manuals if [ "$WITH_MANUALS" = "1" ]; then # Build all manuals first - osmo-build-dep.sh osmo-gsm-manuals for dir in "$base"/manuals/*/; do make -C "$dir" done |