Add rei 2019.4.4 to build scripts
This commit is contained in:
6
build.py
6
build.py
@@ -71,7 +71,9 @@ chapter_to_build_variants = {
|
|||||||
],
|
],
|
||||||
'rei': [
|
'rei': [
|
||||||
'rei 2019.4.3 win',
|
'rei 2019.4.3 win',
|
||||||
|
'rei 2019.4.4 win',
|
||||||
'rei 2019.4.3 unix',
|
'rei 2019.4.3 unix',
|
||||||
|
'rei 2019.4.4 unix',
|
||||||
],
|
],
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -161,10 +163,10 @@ class LastModifiedManager:
|
|||||||
localLastModified = self.lastModifiedDict.get(url)
|
localLastModified = self.lastModifiedDict.get(url)
|
||||||
|
|
||||||
if localLastModified is not None and localLastModified == remoteLastModified:
|
if localLastModified is not None and localLastModified == remoteLastModified:
|
||||||
print(f"LastModifiedManager: local and remote dates the same {localLastModified}")
|
print(f"LastModifiedManager [{url}]: local and remote dates the same {localLastModified}")
|
||||||
return False
|
return False
|
||||||
|
|
||||||
print(f"LastModifiedManager: local {localLastModified} and remote {remoteLastModified} are different")
|
print(f"LastModifiedManager [{url}]: local {localLastModified} and remote {remoteLastModified} are different")
|
||||||
self.lastModifiedDict[url] = remoteLastModified
|
self.lastModifiedDict[url] = remoteLastModified
|
||||||
return True
|
return True
|
||||||
|
|
||||||
|
|||||||
@@ -23,4 +23,6 @@ cargo run matsuribayashi 5.6.7f1 unix && \
|
|||||||
cargo run matsuribayashi 2017.2.5 unix && \
|
cargo run matsuribayashi 2017.2.5 unix && \
|
||||||
cargo run matsuribayashi 2017.2.5 win && \
|
cargo run matsuribayashi 2017.2.5 win && \
|
||||||
cargo run rei 2019.4.3 win && \
|
cargo run rei 2019.4.3 win && \
|
||||||
cargo run rei 2019.4.3 unix
|
cargo run rei 2019.4.4 win && \
|
||||||
|
cargo run rei 2019.4.3 unix && \
|
||||||
|
cargo run rei 2019.4.4 unix
|
||||||
|
|||||||
Reference in New Issue
Block a user