diff options
| author | Akim Demaille <akim@lrde.epita.fr> | 2012-07-05 15:16:08 +0200 |
|---|---|---|
| committer | Akim Demaille <akim@lrde.epita.fr> | 2012-07-05 15:17:31 +0200 |
| commit | be2b039116133e5fd07e07c5d272b8adb91d72b2 (patch) | |
| tree | 957356593469aafd2a8232cdb5f681c57e1ff079 /build-aux/do-release-commit-and-tag | |
| parent | 31ec8584048ce391f1ff4fb26fde3c7389c656f3 (diff) | |
| download | gnulib-be2b039116133e5fd07e07c5d272b8adb91d72b2.tar.gz | |
do-release-commit-and-tag: fix typo
* build-aux/do-release-commit-and-tag: Be sure that NEWS does
_not_ start with a stub.
Diffstat (limited to 'build-aux/do-release-commit-and-tag')
| -rwxr-xr-x | build-aux/do-release-commit-and-tag | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/do-release-commit-and-tag b/build-aux/do-release-commit-and-tag index a0d1c9c1da..329d0eb548 100755 --- a/build-aux/do-release-commit-and-tag +++ b/build-aux/do-release-commit-and-tag @@ -3,7 +3,7 @@ # controlled .prev-version file, automate the procedure by which we record # the date, release-type and version string in the NEWS file. That commit # will serve to identify the release, so apply a signed tag to it as well. -VERSION=2012-06-07.15 # UTC +VERSION=2012-07-05.13 # UTC # Note: this is a bash script (could be zsh or dash) @@ -130,7 +130,7 @@ pkg=$(sed -n 's/^PACKAGE = \(.*\)/\1/p' "$Makefile") \ || die "failed to determine package name from $Makefile" # simple check: no question marks on line 3 of NEWS -test "$(sed -n 3p NEWS)" = "$noteworthy_stub" \ +test "$(sed -n 3p NEWS)" != "$noteworthy_stub" \ || die 'line 3 of NEWS looks fishy!' # No dirt allowed. |