changeset 76:3abb3634f467

No Makefile.ag anymore.
author Sjoerd Mullender <sjoerd@acm.org>
date Thu, 15 Dec 2016 14:23:54 +0100 (2016-12-15)
parents db46b4ab2b9f
children 83aee4f60649
files version.sh
diffstat 1 files changed, 0 insertions(+), 16 deletions(-) [+]
line wrap: on
line diff
--- a/version.sh
+++ b/version.sh
@@ -97,22 +97,6 @@ sed \
 	-e "s|Release date: 20[0-9][0-9]-[01][0-9]-[0-3][0-9]|Release date: `date +%F`|" \
 	${file} | ${diff} ${file} - | ${patch}
 
-for file in \
-	Makefile.ag \
-	; do
-	if [[ -f ${file} ]] ; then
-		for f in $FILES ; do
-			fr=${f//XXX/${NEW_MAJOR}.${NEW_MINOR}}
-			fo=${f//XXX/${ESC_MAJOR}.${ESC_MINOR}}
-			fo=${fo//./\\.}
-			sed -e "s|${fo}|${fr}|g" \
-				${file} | ${diff} ${file} - | ${patch}
-		done
-	else
-		echo "Please do not forget to patch file '${file##*../}', too."
-	fi
-done
-
 file="build.properties"
 sed \
 	-e "s|${TYPE}_MAJOR=${ESC_MAJOR}|${TYPE}_MAJOR=${NEW_MAJOR}|g" \