@@ -50,4 +50,6 @@ echo "================================="
cat "${tmpdir}/detect_ldd_not_found.tmp"
rm "${tmpdir}/detect_ldd.tmp"
-rm "${tmpdir}/detect_ldd_not_found.tmp"
+rm "${tmpdir}/detect_ldd_not_found.tmp"
+
+core_exit.sh