diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-12-06 00:35:59 (EST) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-12-06 00:35:59 (EST) |
| commit | 3c3d8f6ad69ffb518c82ba7803dee329be6c6807 (patch) | |
| tree | 3ccf90086b4287b17d23503aa6418201f72574e2 | |
| parent | 3817b339d9dbb18aca21f7e21737b9052ba09faa (diff) | |
bootstrap-stage1-build.sh: Skip built packages.
| -rwxr-xr-x | bootstrap-stage1-build.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bootstrap-stage1-build.sh b/bootstrap-stage1-build.sh index bae13bb..444b52c 100755 --- a/bootstrap-stage1-build.sh +++ b/bootstrap-stage1-build.sh @@ -21,8 +21,14 @@ set -e +ARCH= +PLAT= + main() { + ARCH="$(cat /etc/proteanos_arch)" + PLAT="$(cat /etc/proteanos_plat)" + cat <<-EOF Building packages in stage 1... @@ -53,6 +59,9 @@ build_packages() cd pkg for dir in */; do + if [ -f "${dir%/}_"*"_${ARCH}_${PLAT}.changes" ]; then + continue + fi log 'Building package %s...' "${dir%/}" cd "${dir}" opkbuild -bC |