/tools/build/
drwxr-xr-x [up]
-rw-r--r-- 2007-04-02 09:09 -0700 986 README
-rwxr-xr-x 2007-04-02 09:09 -0700 7265 check-modules.pl
-rw-r--r-- 2007-04-02 09:09 -0700 1471 gnome-tip-nightly
-rwxr-xr-x 2007-04-02 09:09 -0700 116 sync-all-configures
-rwxr-xr-x 2007-04-02 09:09 -0700 1097 sync-configure