diff options
author | Henrik Rentz-Reichert | 2014-02-21 08:32:53 +0000 |
---|---|---|
committer | Henrik Rentz-Reichert | 2014-02-21 08:32:53 +0000 |
commit | 947660dfd751a29e72ace1652364b156a3a9b08e (patch) | |
tree | e60b32632e5b9eb5fdeca72f23d1e9e6aadeb689 | |
parent | 3aa2235e0b04457ab9d7a2099cf3db367427c1ec (diff) | |
download | org.eclipse.etrice-947660dfd751a29e72ace1652364b156a3a9b08e.tar.gz org.eclipse.etrice-947660dfd751a29e72ace1652364b156a3a9b08e.tar.xz org.eclipse.etrice-947660dfd751a29e72ace1652364b156a3a9b08e.zip |
[generator] skip 'images' directory when erasing src-gen
Change-Id: I8ded78f5ea1e33fd65a77c78371deffcbba29821
2 files changed, 15 insertions, 3 deletions
diff --git a/plugins/org.eclipse.etrice.generator/src/org/eclipse/etrice/generator/generic/PrepareFileSystem.xtend b/plugins/org.eclipse.etrice.generator/src/org/eclipse/etrice/generator/generic/PrepareFileSystem.xtend index 40d0d8e17..923758912 100644 --- a/plugins/org.eclipse.etrice.generator/src/org/eclipse/etrice/generator/generic/PrepareFileSystem.xtend +++ b/plugins/org.eclipse.etrice.generator/src/org/eclipse/etrice/generator/generic/PrepareFileSystem.xtend @@ -85,8 +85,10 @@ class PrepareFileSystem { if (f.directory) { var children = f.listFiles for (child : children) { - eraseContents(child) - child.delete + if (!(child.directory && child.name.equals("images"))) { + eraseContents(child) + child.delete + } } } } diff --git a/plugins/org.eclipse.etrice.generator/xtend-gen/org/eclipse/etrice/generator/generic/PrepareFileSystem.java b/plugins/org.eclipse.etrice.generator/xtend-gen/org/eclipse/etrice/generator/generic/PrepareFileSystem.java index 91807967a..1e7827c90 100644 --- a/plugins/org.eclipse.etrice.generator/xtend-gen/org/eclipse/etrice/generator/generic/PrepareFileSystem.java +++ b/plugins/org.eclipse.etrice.generator/xtend-gen/org/eclipse/etrice/generator/generic/PrepareFileSystem.java @@ -131,7 +131,17 @@ public class PrepareFileSystem { if (_isDirectory) { File[] children = f.listFiles(); for (final File child : children) { - { + boolean _and = false; + boolean _isDirectory_1 = child.isDirectory(); + if (!_isDirectory_1) { + _and = false; + } else { + String _name = child.getName(); + boolean _equals = _name.equals("images"); + _and = (_isDirectory_1 && _equals); + } + boolean _not = (!_and); + if (_not) { this.eraseContents(child); child.delete(); } |