[update-external-resources.sh] Fix README.md case sensitivity (#669)
Fix README.md file not found when running update-external-resources.sh on case sensitive file systems (#669) Signed-off-by: Wouter Born <eclipse@maindrain.net>pull/671/head
parent
19b628d62d
commit
a9933bd8bd
|
@ -43,8 +43,9 @@ def process_addon_type = { features, sources, type, collection, suffix, lblremov
|
|||
if (! readme.exists()) {
|
||||
log.warn("No README.md found.")
|
||||
} else {
|
||||
readme.renameTo(new File(simpleNameDir.path, 'readme.md'))
|
||||
//println readme
|
||||
def readmeLowerCase = new File(simpleNameDir.path, 'readme.md')
|
||||
readme.renameTo(readmeLowerCase)
|
||||
readme = readmeLowerCase
|
||||
def label = readme.readLines().find{it.startsWith('#')}
|
||||
if (label == null) {
|
||||
log.warn("No level 1 header found.")
|
||||
|
|
Loading…
Reference in New Issue