echo $file_type $dist_name `file_size $file` $sum >> $manifest_file
+ if [ "$file_type" == "DIST" ]; then
+ echo "Please make sure that the following hashes are correct:"
+ grep -e "^DIST $DIST_SRC_NAME " $manifest_file
+ fi
+
}
function update_manifest_info {
[ "$protocol" == "http" ] || \
[ "$protocol" == "ftp" ]; then
- # TODO: config file parameter should control whether to donwload
# Try to donwload the file
if [ ! -e "$file" ]; then
if is_writable_folder $SOURCE_DIR/$PKG_NAME; then
# Update Manifest metadata
if [ -e "$DIST_SRC_LOCATION" ]; then
update_manifest_info $DIST_SRC_LOCATION dist
- # TODO: that should appear also when adding DIST information at edit_manifest
- echo "Please make sure that the following hashes are correct:"
- grep -e "^DIST $DIST_SRC_NAME " $WORK/Manifest
else
echo "Can't get $DIST_SRC_NAME."
fi