From 0f16d757b67b9c7e5a1aa6c1efadd9a19a53e9db Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 22 May 2019 14:57:17 +0200
Subject: Use grep in changelog test instead of adhoc reads

---
 test-suite/misc/changelog.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/test-suite/misc/changelog.sh b/test-suite/misc/changelog.sh
index 8b4a49e577..ed473e5874 100755
--- a/test-suite/misc/changelog.sh
+++ b/test-suite/misc/changelog.sh
@@ -1,11 +1,9 @@
 #!/bin/sh
 
-while read line; do
-  if [ "$line" = "is_a_released_version = False" ]; then
+if grep -q -F "is_a_released_version = False" ../config/coq_config.py; then
     echo "This is not a released version: nothing to test."
     exit 0
-  fi
-done < ../config/coq_config.py
+fi
 
 for d in ../doc/changelog/*; do
   if [ -d "$d" ]; then
-- 
cgit v1.2.3