diff options
| author | Michael Stahl <mstahl@redhat.com> | 2013-06-03 21:36:52 +0200 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2013-06-04 12:01:10 +0200 |
| commit | c05b9d3e2c5a4c88b67657c513255c2181658e4c (patch) | |
| tree | 223724949f227a548a49ab1fcce1e2312e7a6005 /odk/util | |
| parent | 4146cef50c1d56df0f18878732c01c0d968f6163 (diff) | |
odk: use SHORT_NAMES on Windows
Unfortnately the MSI stuff complains that lines in ddf files are too
long, so we need to use SHORT_NAMES. But use it only on Windows because
the file names are mostly just numbers then and totally unpredictable;
the documentation for the website must not be built on Windows.
Change-Id: I5d7d917bf34c55424259cf04bb13cb8c26fe409b
Diffstat (limited to 'odk/util')
| -rw-r--r-- | odk/util/check.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/odk/util/check.pl b/odk/util/check.pl index 5a2df1681dc9..00f542234426 100644 --- a/odk/util/check.pl +++ b/odk/util/check.pl @@ -345,6 +345,8 @@ if (-d "$SdkDir") { "xml/xpath", "xsd" ); + # Due to MSI limitations have to use SHORT_NAMES on windows so can't check + if ($OperatingSystem ne "windows") { foreach $i (@idl_dirlist) { if (!check_dir("docs/common/ref/com/sun/star/$i")) { @@ -354,6 +356,7 @@ if (-d "$SdkDir") { print "+"; } } + } } else { $return++; } |