diff options
| author | Rene Engelhard <rene@debian.org> | 2011-12-30 16:31:23 +0100 |
|---|---|---|
| committer | Rene Engelhard <rene@debian.org> | 2011-12-30 16:40:35 +0100 |
| commit | 36d7f011a35c282c6c5f219681502e85dd8b768c (patch) | |
| tree | ce7067adc7cfbc7022e949e9a6acd04cb9bacacc /configure.in | |
| parent | a9b3b64a5a94a4c27ac524ac6997ef2e2467267c (diff) | |
build qadevOOo only if OOO_JUNIT_JAR are set (add BUILD_TYPE)
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 405e64ec57a3..684277178137 100644 --- a/configure.in +++ b/configure.in @@ -9213,6 +9213,9 @@ provide a full junit jar or use --without-junit]) location (/usr/share/java), specify its pathname via --with-junit=..., or disable it via --without-junit]) fi + if test $OOO_JUNIT_JAR != ""; then + BUILD_TYPE="$BUILD_TYPE QADEVOOO" + fi fi AC_SUBST(OOO_JUNIT_JAR) |