From 44cac2d22baf91b1aebe779e8f2b20b3e3014d2e Mon Sep 17 00:00:00 2001 From: rtoy <rtoy> Date: Sat, 25 Sep 2010 18:47:33 +0000 Subject: [PATCH] Don't need to install the po files since they're not used by anything. --- tools/make-extra-dist.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tools/make-extra-dist.sh b/tools/make-extra-dist.sh index 4c5f47041..3f846088b 100755 --- a/tools/make-extra-dist.sh +++ b/tools/make-extra-dist.sh @@ -122,12 +122,12 @@ do done # Install po files. (Do we really need to distribute the po files?) -for f in `(cd $TARGET/i18n; find locale -type f -print | egrep -v 'CVS|~.*~|.*~')` -do - FILE=`basename $f` - DIR=`dirname $f` - install ${GROUP} ${OWNER} -m 0644 $TARGET/i18n/$f $DESTDIR/lib/cmucl/lib/$DIR -done +#for f in `(cd $TARGET/i18n; find locale -type f -print | egrep -v 'CVS|~.*~|.*~')` +#do +# FILE=`basename $f` +# DIR=`dirname $f` +# install ${GROUP} ${OWNER} -m 0644 $TARGET/i18n/$f $DESTDIR/lib/cmucl/lib/$DIR +#done if [ -z "$INSTALL_DIR" ]; then sync ; sleep 1 ; sync ; sleep 1 ; sync -- GitLab