diff options
author | Jonah Graham | 2020-10-15 14:07:52 +0000 |
---|---|---|
committer | Jonah Graham | 2020-10-15 14:08:14 +0000 |
commit | d38a3ac102271217408fbc816e78f9dd041acefc (patch) | |
tree | 282ccf43ee5b4a8a06c43abd9eeadaa6cc16037b | |
parent | 95d888ba44b899aef7c1030eeaea659f7d2639c7 (diff) | |
download | org.eclipse.epp.packages-d38a3ac102271217408fbc816e78f9dd041acefc.tar.gz org.eclipse.epp.packages-d38a3ac102271217408fbc816e78f9dd041acefc.tar.xz org.eclipse.epp.packages-d38a3ac102271217408fbc816e78f9dd041acefc.zip |
Remove redundant/obsolete/unnecessary scripts (fixup)
Change-Id: I25f3cb8debd34ab184a8e115c3438d338fd8884c
-rwxr-xr-x | releng/org.eclipse.epp.config/tools/promote-a-build.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/releng/org.eclipse.epp.config/tools/promote-a-build.sh b/releng/org.eclipse.epp.config/tools/promote-a-build.sh index 7e703491..6c07d2ea 100755 --- a/releng/org.eclipse.epp.config/tools/promote-a-build.sh +++ b/releng/org.eclipse.epp.config/tools/promote-a-build.sh @@ -21,12 +21,6 @@ mkdir p2 pushd downloads # ---------------------------------------------------------------------------------------------- -# pull the XML configuration files that describe each package; these files are used by the -# script that generates the package websites at eclipse.org/downloads - -cp ../releng/org.eclipse.epp.config/tools/functions.sh ../releng/org.eclipse.epp.config/packages_map.txt . - -# ---------------------------------------------------------------------------------------------- # download the packages from the Jenkins build server # rename the packages, i.e. strip the build date, update the package file name, and add the # incubation name if required. |