More logging around whether to add release notes or not

2017-06-14 20:27:10 +01:00 · 2017-06-14 20:27:10 +01:00 · f7b6bd056d
parent adb9e9057d
commit f7b6bd056d
1 changed files with 3 additions and 1 deletions
--- a/tools/stretch/installtools.sh
+++ b/tools/stretch/installtools.sh
@ -51,7 +51,9 @@ if [ "$OMIT_MANUAL" != 1 ]; then
 	done
 fi

-if [ "$OMIT_RELEASE_NOTES" != 1 ]; then
+if [ "$OMIT_RELEASE_NOTES"x = "1"x ]; then
+	echo "Omitting release notes, as requested"
+else
 	for ARCH in $ARCHES
 	do
 		if [ $ARCH != source ] ; then