/tools/
drwxr-xr-x [up]
drwxr-xr-x .gnupg
drwxr-xr-x python pkglint
-rw-r--r-- 2016-10-04 14:04 +0200 3172 Makefile
-rwxr-xr-x 2016-10-04 14:04 +0200 5936 bass-o-matic
-rwxr-xr-x 2016-10-04 14:04 +0200 1943 build-watch.d
-rwxr-xr-x 2016-10-04 14:04 +0200 4108 build-watch.pl
-rwxr-xr-x 2016-10-04 14:04 +0200 1493 cloney
-rwxr-xr-x 2016-10-04 14:04 +0200 10202 gen-components
-rw-r--r-- 2016-10-04 14:04 +0200 1007 generate-history
-rw-r--r-- 2016-10-04 14:04 +0200 1043 pkglint.sh
-rw-r--r-- 2016-10-04 14:04 +0200 1418 pkglintrc
-rw-r--r-- 2016-10-04 14:04 +0200 3100 sc_profile.xml
-rwxr-xr-x 2016-10-04 14:04 +0200 2621 sunw-history-package
-rw-r--r-- 2016-10-04 14:04 +0200 3667 time.c
-rwxr-xr-x 2016-10-04 14:04 +0200 13241 userland-fetch
-rwxr-xr-x 2016-10-04 14:04 +0200 7140 userland-incorporator
-rwxr-xr-x 2016-10-04 14:04 +0200 10483 userland-mangler
-rwxr-xr-x 2016-10-04 14:04 +0200 4356 userland-unpack
-rw-r--r-- 2016-10-04 14:04 +0200 3443 zone_default.xml