Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephan Herrmann2018-10-30 20:23:17 +0000
committerStephan Herrmann2018-10-30 20:23:17 +0000
commite2be43953bc2de1c94661fffef56df58576b4cbe (patch)
tree4d24fb5c76ad980539fcd887f85b2a798c8173b7
parentcc1fbee5f5d618a4c9db9f0fbfac5c14e743d967 (diff)
downloadorg.eclipse.objectteams-e2be43953bc2de1c94661fffef56df58576b4cbe.tar.gz
org.eclipse.objectteams-e2be43953bc2de1c94661fffef56df58576b4cbe.tar.xz
org.eclipse.objectteams-e2be43953bc2de1c94661fffef56df58576b4cbe.zip
Revert tweaks from bug 540495
-rw-r--r--releng/EnrichPoms/SDK4Mvn.aggr2
-rw-r--r--releng/EnrichPoms/publishJDT.sh3
2 files changed, 2 insertions, 3 deletions
diff --git a/releng/EnrichPoms/SDK4Mvn.aggr b/releng/EnrichPoms/SDK4Mvn.aggr
index b0496983d..f42a51826 100644
--- a/releng/EnrichPoms/SDK4Mvn.aggr
+++ b/releng/EnrichPoms/SDK4Mvn.aggr
@@ -31,7 +31,7 @@
<configurations operatingSystem="win32" windowSystem="win32" architecture="x86"/>
<configurations operatingSystem="win32" windowSystem="win32" architecture="x86_64"/>
<configurations/>
- <mavenMappings namePattern="(org\.eclipse\.jdt)\.core\.compiler\.batch" groupId="$1" artifactId="ecj" versionPattern=".*" versionTemplate="3.15.1"/>
+ <mavenMappings namePattern="(org\.eclipse\.jdt)\.core\.compiler\.batch" groupId="$1" artifactId="ecj"/>
<mavenMappings namePattern="(org\.eclipse\.jdt)(.*)" groupId="$1" artifactId="$1$2"/>
<mavenMappings namePattern="(org\.eclipse\.pde)(.*)" groupId="$1" artifactId="$1$2"/>
<mavenMappings namePattern="(org.eclipse.jetty)(.*)" groupId="$1" artifactId="$1$2"/>
diff --git a/releng/EnrichPoms/publishJDT.sh b/releng/EnrichPoms/publishJDT.sh
index c431f16cf..e9b172775 100644
--- a/releng/EnrichPoms/publishJDT.sh
+++ b/releng/EnrichPoms/publishJDT.sh
@@ -68,8 +68,7 @@ function same_as_baseline() {
return 1
}
-#for pomFile in org/eclipse/jdt/*/*/*.pom
-for pomFile in org/eclipse/jdt/ecj/*/*.pom
+for pomFile in org/eclipse/jdt/*/*/*.pom
do
if same_as_baseline $pomFile
then

Back to the top