Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/jgraph/drawio.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Benson <david@jgraph.com>2017-03-29 16:24:28 +0300
committerDavid Benson <david@jgraph.com>2017-03-29 16:24:28 +0300
commitb22f3fdb7744364eb2b47473c787833aa123e5b5 (patch)
tree3631033c13868cbe151fba6c3d54e18f7d51f77e
parent0a7cf5fccd451fdf74af7c749dd1f522403e9ca3 (diff)
Changed ant command to war, all doesn’t actually do everything…testDeploy3
Former-commit-id: ec00e96d51f77da472fb68a28e0b7d5b2734eb1c
-rw-r--r--.travis.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml
index f0d2d92c..9ed0f9ff 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -2,7 +2,7 @@ language: java
sudo: false
before_install:
- cd etc/build
-script: ant all
+script: ant war
deploy:
provider: releases
api_key: