Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.wb.releng/src/releng/eclipse.py')
-rw-r--r--org.eclipse.wb.releng/src/releng/eclipse.py7
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.wb.releng/src/releng/eclipse.py b/org.eclipse.wb.releng/src/releng/eclipse.py
index 0eef3088..ba0137d8 100644
--- a/org.eclipse.wb.releng/src/releng/eclipse.py
+++ b/org.eclipse.wb.releng/src/releng/eclipse.py
@@ -295,5 +295,12 @@ def RunAnt(eclipse_install_dir, ant_script, prod_dir, eclipse_version):
def SetArchiveDir(d):
global eclipse_archive_dir
+ log.info('setting eclipse_archive_dir to |%s|', d)
+ if not os.path.exists(d):
+ log.critical('Aborting, directory %s does not exist', d)
+ raise Error('can not find %s' % d)
+ eclipse_archive_dir = d
+ log.info('setting eclipse_archive_dir to |%s|' %
+ eclipse_archive_dir)
eclipse_archive_dir = d

Back to the top