changeset 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents 540eca98552e
children
files SCRIPTS/process.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/SCRIPTS/process.sh	Tue Jul 30 12:06:51 2019 +0100
+++ b/SCRIPTS/process.sh	Tue Jul 30 12:25:44 2019 +0100
@@ -605,7 +605,7 @@
     local good=yes
     echo 
     echo "Testing existence of README and accompanying files..."
-    if ! ls -1 "$dir" | egrep -qi "^readme(.txt)?$"; then
+    if ! ls -1 "$dir" | egrep -qi "^readme(.txt|.md)?$"; then
 	echo "ERROR: no README file found" | tee -a "$log"
 	good=no
     fi