diff options
| author | Pierre-Charles David | 2016-01-05 14:43:15 +0000 |
|---|---|---|
| committer | Pierre-Charles David | 2016-01-08 09:16:21 +0000 |
| commit | df49731ea84f7289cb113b1f76ddefba30693d29 (patch) | |
| tree | 4bea5a082e9d1439fc4eaa9c4bce2892c327680f /releng/org.eclipse.sirius.targets/refresh.sh | |
| parent | 2d0c60f71d9dac810baa3136e3fc70f57809f797 (diff) | |
| download | org.eclipse.sirius-df49731ea84f7289cb113b1f76ddefba30693d29.tar.gz org.eclipse.sirius-df49731ea84f7289cb113b1f76ddefba30693d29.tar.xz org.eclipse.sirius-df49731ea84f7289cb113b1f76ddefba30693d29.zip | |
[build] Add script to refresh all target platforms
Change-Id: Ie6c553ee32bddf5769f08030262b5c7f23774843
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
Diffstat (limited to 'releng/org.eclipse.sirius.targets/refresh.sh')
| -rwxr-xr-x | releng/org.eclipse.sirius.targets/refresh.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/releng/org.eclipse.sirius.targets/refresh.sh b/releng/org.eclipse.sirius.targets/refresh.sh new file mode 100755 index 0000000000..17d9381eec --- /dev/null +++ b/releng/org.eclipse.sirius.targets/refresh.sh @@ -0,0 +1,4 @@ +#!/bin/sh +for tp in *.targetplatform; do + mvn -Dtarget.definition=${tp} validate && rm -rf ./workspace +done |