summaryrefslogtreecommitdiffstats
path: root/build
diff options
context:
space:
mode:
authorP. J. McDermott <pj@pehjota.net>2014-06-28 10:18:12 (EDT)
committer P. J. McDermott <pj@pehjota.net>2014-06-28 10:18:12 (EDT)
commit1875d216059721bcd2c0288b33dc1dabe02fb92a (patch)
tree15f0f8d6967d626b12390c0034dd70c49f24b8f9 /build
parent1d95388a5947b83cb632c92540a5472cde4739aa (diff)
Support run-time platform configuration packages.
Diffstat (limited to 'build')
-rwxr-xr-xbuild21
1 files changed, 16 insertions, 5 deletions
diff --git a/build b/build
index 2f1de60..c2281f3 100755
--- a/build
+++ b/build
@@ -12,11 +12,22 @@ build:
install: build
set -e; \
- for pkg in src/*; do \
- pkg="$${pkg#src/}"; \
- for ver in "src/$${pkg}/"*; do \
- ver="$${ver#src/$${pkg}/}"; \
+ for pkg in src/build/*; do \
+ pkg="$${pkg#src/build/}"; \
+ for ver in "src/build/$${pkg}/"*; do \
+ ver="$${ver#src/build/$${pkg}/}"; \
mkdir -p "$(platconf_dir)"; \
- cp -p "src/$${pkg}/$${ver}/"* "$(platconf_dir)"; \
+ cp -p "src/build/$${pkg}/$${ver}/"* "$(platconf_dir)"; \
+ done; \
+ done
+ set -e; \
+ for pkg in src/run/*; do \
+ pkg="$${pkg#src/run/}"; \
+ mkdir "config-$${pkg}.data"; \
+ find "src/run/$${pkg}" -type f | while read -r file; do \
+ file="$${file#src/run/$${pkg}}"; \
+ mkdir -p "config-$${pkg}.data/$${file%/*}"; \
+ cp -p "src/run/$${pkg}/$${file}" \
+ "config-$${pkg}.data/$${file}"; \
done; \
done