diff options
| -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 |