diff --git a/mysql/GET b/mysql/GET index 788f86e6f..962afd225 100755 --- a/mysql/GET +++ b/mysql/GET @@ -46,3 +46,5 @@ echo " /usr/data/**: ${ROOTDIR}/usr/data/** /usr/bin/mysqld: ${BUILDDIR}/sql/mysqld " > usr.manifest + +find $ROOTDIR -name '*.a' -exec rm '{}' +