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 | |
| parent | f437a9a3294d61ef6839b688305584c57b638779 (diff) | |
Don't make "config-*" or "config-*-*" packages
| -rw-r--r-- | src/1/ppt-mkpkgs | 2 | ||||
| -rw-r--r-- | src/2/ppt-mkpkgs | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/1/ppt-mkpkgs b/src/1/ppt-mkpkgs index b114a74..aa75c0c 100644 --- a/src/1/ppt-mkpkgs +++ b/src/1/ppt-mkpkgs @@ -40,6 +40,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 @@ -59,6 +60,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 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 |