diff options
| author | Jonah Graham | 2020-10-15 14:07:52 +0000 |
|---|---|---|
| committer | Jonah Graham | 2020-10-15 18:11:25 +0000 |
| commit | 9f7451688a760cd103adb7afd9574b25777d4404 (patch) | |
| tree | 72bf465e83a10600a6281079c7c7888ee2b9a0b1 | |
| parent | 8e855522974a766a081ac28495d5173996390363 (diff) | |
| download | org.eclipse.epp.packages-9f7451688a760cd103adb7afd9574b25777d4404.tar.gz org.eclipse.epp.packages-9f7451688a760cd103adb7afd9574b25777d4404.tar.xz org.eclipse.epp.packages-9f7451688a760cd103adb7afd9574b25777d4404.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. |