osmith submitted this change.

View Change

contrib/jenkins.sh: werror with WITH_MANUALS too

Change-Id: I6f1bbbc8d3ac04e8a82fb954c59ec30d6be46c13
---
M contrib/jenkins.sh
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index ad59c84..36a4b61 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -28,7 +28,7 @@
 
 CONFIG="--enable-werror"
 if [ "$WITH_MANUALS" = "1" ]; then
-	CONFIG=" --enable-manuals"
+	CONFIG="$CONFIG --enable-manuals"
 fi
 
 set +x

To view, visit change 30750. To unsubscribe, or for help writing mail filters, visit settings.