From d8176a286f88f9f3371a32f1df8b94aa14c4bc96 Mon Sep 17 00:00:00 2001 From: Satoshi Asami Date: Wed, 5 Jul 2000 17:49:46 +0000 Subject: Back out (1) in previous commit -- extra directories are fatal again. Otherwise it is often too hard to find out which port left the directory behind since packages propagates extra directories. Also, many of the extra directories contain files, so it makes no sense to ignore them. --- Tools/portbuild/scripts/buildscript | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'Tools') diff --git a/Tools/portbuild/scripts/buildscript b/Tools/portbuild/scripts/buildscript index eb0ac57421aa..ac1026de45da 100755 --- a/Tools/portbuild/scripts/buildscript +++ b/Tools/portbuild/scripts/buildscript @@ -96,11 +96,7 @@ else mtree -f ${mtreefile} -p ${prefix} > /tmp/list3 if [ -s /tmp/list3 ]; then if [ "x${NOPLISTCHECK}" = "x" ]; then - for path in $(awk '/^extra:/ {print $2}' /tmp/list3); do - if [ ! -d ${prefix}/${path} ]; then - echo "1" > /tmp/status - fi - done + echo "1" > /tmp/status fi echo "================================================================" echo "list of extra files and directories in ${prefix}" -- cgit v1.2.3