Make tools use DESTDIR as well (otherwise rpm build is broken).
[git.git] / tools / 
treecfddbcab4e74a29096e2cad9fd3128a2733dc5a3
drwxr-xr-x   ..
-rw-r--r-- 450 Makefile
-rwxr-xr-x 2234 git-applymbox
-rwxr-xr-x 1645 git-applypatch
-rw-r--r-- 4713 mailinfo.c
-rw-r--r-- 2537 mailsplit.c