diff options
| author | Chris Johns <chrisj@rtems.org> | 2023-02-14 15:44:34 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2023-02-14 15:44:34 +1100 |
| commit | 1dbeb7679a75c67c1db9cb8ea871d7f0be1c5192 (patch) | |
| tree | 5a526df5a8f14de05da0171325567dfd6babd848 /rtems-release-package-start | |
| parent | Move packages into a separate file to better handled version differences (diff) | |
| download | rtems-release-1dbeb7679a75c67c1db9cb8ea871d7f0be1c5192.tar.bz2 | |
Fix version dependence in package lists
Diffstat (limited to 'rtems-release-package-start')
| -rwxr-xr-x | rtems-release-package-start | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rtems-release-package-start b/rtems-release-package-start index 47a4005..32cc16b 100755 --- a/rtems-release-package-start +++ b/rtems-release-package-start @@ -48,6 +48,10 @@ package=$1 version=$2 revision=$3 release_url=$4 + +. ${release_top}/rtems-release-package-lists +. ${release_top}/rtems-release-version + if [ $# -eq 5 ]; then if [ ! -x ${top}/$5 ]; then echo "error: cannot find the worker: $4" |