github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2025-03-03 14:20:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

[svn] Print the resulting archive.

Browse Source
This commit is contained in:
hniksic 2003-09-23 13:00:59 -07:00
parent 2e3b4d2187
commit 2e6da9451d
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
util/dist-wget
View File

@ -138,8 +138,9 @@ echo "done."
# Create the distribution file.
echo $e_n "Creating distribution tarball... $e_c"
$MAKE dist 1>>$O 2>&1
mv wget-*.tar.gz $DEST_DIR
echo "done."
archive=`echo wget-*.tar.gz`
mv $archive $DEST_DIR
echo "$DEST_DIR/$archive"
cd ..