diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-09-23 12:50:29 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-09-23 12:50:29 (EDT) |
commit | e9c243007abeea4fa124bc66cea419d87df928c8 (patch) | |
tree | 505d9d9a2e3e9fee6a43115deaa25ff9cff82968 /src/2 | |
parent | f437a9a3294d61ef6839b688305584c57b638779 (diff) |
Don't make "config-*" or "config-*-*" packages
Diffstat (limited to 'src/2')
-rw-r--r-- | src/2/ppt-mkpkgs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/2/ppt-mkpkgs b/src/2/ppt-mkpkgs index 8e635b8..9e41e76 100644 --- a/src/2/ppt-mkpkgs +++ b/src/2/ppt-mkpkgs @@ -57,6 +57,7 @@ make_build_time_pkgs() # Make each config-*-* package. for pkg in src/build/*; do + [ -d "${pkg}" ] || continue pkg="${pkg#src/build/}" mkdir -p "config-${pkg}-${PLAT}.pkg" cat >"config-${pkg}-${PLAT}.pkg/control" <<-EOF @@ -76,6 +77,7 @@ make_run_time_pkgs() # Make each config-* package. for pkg in src/run/*; do + [ -d "${pkg}" ] || continue pkg="${pkg#src/run/}" mkdir -p "config-${pkg}.pkg" cat >"config-${pkg}.pkg/control" <<-EOF |