diff options
author | Robin Gareus <robin@gareus.org> | 2015-02-16 18:03:23 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-02-16 18:03:23 +0100 |
commit | ba6eb51d7f56e3a36712ffb2af51b5d09b88c9b3 (patch) | |
tree | 80efeb5692007da8fc92f601751a29ef06bf5d2e /tools/x-win/package.sh | |
parent | 8a93a87db0e90c1bf9057901950b7836630c3b1b (diff) |
dump bundled file-list
Diffstat (limited to 'tools/x-win/package.sh')
-rwxr-xr-x | tools/x-win/package.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/x-win/package.sh b/tools/x-win/package.sh index 8deef3d5b8..ad1a923483 100755 --- a/tools/x-win/package.sh +++ b/tools/x-win/package.sh @@ -162,6 +162,8 @@ cp gtk2_ardour/icons/cursor_square/* $DESTDIR/share/${LOWERCASE_DIRNAME}/icons/ echo " === complete" du -sh $DESTDIR +( cd $DESTDIR ; find . ) > ${TMPDIR}/file_list.txt + ################################################################################ ### get video tools if test -z "$NOVIDEOTOOLS"; then |