Move the files to be deleted in lib dir to an external file just like

for the other dirs.

Author: dinogun

config/slim-java_lib_del.list

@@ -0,0 +1,16 @@
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+ct.sym
+jexec
+tools.jar

slim-java.sh

@@ -45,6 +45,8 @@ del_list="${scriptdir}/slim-java_rtjar_del.list"
 del_jmod_list="${scriptdir}/slim-java_jmod_del.list"
 # bin files to be deleted
 del_bin_list="${scriptdir}/slim-java_bin_del.list"
+# lib files to be deleted
+del_lib_list="${scriptdir}/slim-java_lib_del.list"
 
 # We only support 64 bit builds now
 proc_type="64bit"
@@ -250,9 +252,10 @@ function bin_files() {
 function lib_files() {
 	echo -n "INFO: Trimming bin dir..."
 	pushd ${target}/lib >/dev/null
-		rm -f ct.sym
-		rm -f jexec
-		rm -f tools.jar
+		for binfile in $(cat ${del_lib_list} | grep -v "^#");
+		do
+			rm -rf ${binfile}
+		done
 	popd >/dev/null
 }