- On Windows, names of times zones are different.
Substitute 'W. Europe Standard Time' with 'CET' by function seddif
- Removes unnecessary diff output and fixes therefore failing tests
DIFF="diff -u"
DIFF9=seddif
+# On Windows, names of times zones are different. Substitute 'W. Europe Standard Time' with 'CET'
function seddif {
- perl -p -e 's/([-+]?\d\.\d+e[-+]\d+)/sprintf("%0.7e",$1)/ge' | $DIFF $@
+ perl -p -e 's/([-+]?\d\.\d+e[-+]\d+)/sprintf("%0.7e",$1)/ge; s/W. Europe Standard Time/CET/g' | $DIFF $@
}
BLANK=blank