changeset 22616:8a837db73b92

Remove source deployment.
author Christian Humer <christian.humer@oracle.com>
date Fri, 25 Sep 2015 18:45:35 +0200
parents e96c6a52aff2
children e8f298580f99
files mx.jvmci/mx_jvmci.py
diffstat 1 files changed, 2 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- a/mx.jvmci/mx_jvmci.py	Fri Sep 25 08:58:37 2015 +0200
+++ b/mx.jvmci/mx_jvmci.py	Fri Sep 25 18:45:35 2015 +0200
@@ -106,22 +106,14 @@
     def targetDir(self):
         mx.nyi('targetDir', self)
 
-    def sourceTargetDir(self):
-        return 'src'
-
-    def _copyToJdk(self, jdkDir, target, sourceTarget):
+    def _copyToJdk(self, jdkDir, target):
         targetDir = join(jdkDir, target)
         dist = self.dist()
         mx.logv('Deploying {} to {}'.format(dist.name, targetDir))
         copyToJdk(dist.path, targetDir)
 
-        if dist.sourcesPath and sourceTarget is not None:
-            sourceTargetDir = join(jdkDir, sourceTarget)
-            copyToJdk(dist.sourcesPath, sourceTargetDir)
-            mx.logv('Deploying source {} to {}'.format(dist.name, sourceTargetDir))
-
     def deploy(self, jdkDir):
-        self._copyToJdk(jdkDir, self.targetDir(), self.sourceTargetDir())
+        self._copyToJdk(jdkDir, self.targetDir())
 
 class ExtJDKDeployedDist(JarJDKDeployedDist):
     def __init__(self, name, partOfHotSpot=False):