diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-25 14:17:48 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-25 14:17:48 +0200 |
commit | 879a40d7a6c56bb9b369d4553255c538a3d80e06 (patch) | |
tree | bfb5bce451fd4083b8faaa2cc6059b3dee3eb9b1 /stage-pkg | |
parent | c92bdb935c34f9bd108ba3f7d388c48bd9ba045f (diff) |
Update stage scripts (install scripts, forwarded configurations)
Diffstat (limited to 'stage-pkg')
-rwxr-xr-x | stage-pkg | 14 |
1 files changed, 13 insertions, 1 deletions
@@ -80,6 +80,18 @@ function dist() # <group> <dir> { local o="$repo_dir/$1" local b="$(basename $2)" + local d="$2-default" + + # If *-default/ exists, use that (old style out of tree configuration). + # Otherwise, use the source directory itself (new style forwarded + # configuration). + # + if ! test -d "$d"; then + d="$2" + if ! test -d "$d"; then + error "neither $2-default nor $2 exist" + fi + fi mkdir -p "$o" @@ -89,7 +101,7 @@ function dist() # <group> <dir> rm -f "$o/$b"-* fi - b "dist($2-default/)" "config.dist.archives=$owd/$o/tar.gz" + b "dist($d/)" "config.dist.archives=$owd/$o/tar.gz" } for d in "${dirs[@]}"; do |