diff options
Diffstat (limited to 'tools/x-win')
| -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 |