Fix date checking

Davidde94 · Davidde94 · commit e374ca081625 · 2022-05-12T12:54:54.000+01:00
diff --git a/scripts/soundness.sh b/scripts/soundness.sh
@@ -17,7 +17,7 @@ set -eu
 here="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 function replace_acceptable_years() {
     # this needs to replace all acceptable forms with 'YEARS'
-    sed  -e 's/2020-2021/YEARS/' -e 's/202[01]/YEARS/'
+    sed  -e 's/202[01]-202[012]/YEARS/' -e 's/202[012]/YEARS/'
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@ set -eu`
`17`	`17`	`here="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"`
`18`	`18`	`function replace_acceptable_years() {`
`19`	`19`	`# this needs to replace all acceptable forms with 'YEARS'`
`20`		`- sed -e 's/2020-2021/YEARS/' -e 's/202[01]/YEARS/'`
	`20`	`+ sed -e 's/202[01]-202[012]/YEARS/' -e 's/202[012]/YEARS/'`
`21`	`21`	`}`
`22`	`22`
`23`	`23`