diff options
author | jandegr <jandegr@users.noreply.github.com> | 2018-02-11 15:55:10 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-11 15:55:10 +0100 |
commit | af947bcf2069d98f8c52ba5ed62db7b25e651838 (patch) | |
tree | c652adbd87e86c6cb7cf6c2c5a362154c6f3fd62 | |
parent | 193f5e4e24acb8f2c92ba81552f36129e55caff6 (diff) | |
download | navit-win32_xsl.tar.gz |
Update build_win32.shwin32_xsl
-rw-r--r-- | ci/build_win32.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/build_win32.sh b/ci/build_win32.sh index 234686fa9..cb05c9b49 100644 --- a/ci/build_win32.sh +++ b/ci/build_win32.sh @@ -1,4 +1,4 @@ -apt-get update && apt-get install -y mingw32 mingw32-binutils mingw32-runtime default-jdk nsis +apt-get update && apt-get install -y mingw32 mingw32-binutils mingw32-runtime default-jdk nsis libsaxonb-java mkdir win32 pushd win32 |