mirror of
https://github.com/vlang/v.git
synced 2023-08-10 21:13:21 +03:00
tools/fast: minor fixes
This commit is contained in:
parent
20ca038a56
commit
22b1fca793
@ -33,10 +33,13 @@ fn main() {
|
|||||||
os.create('table.html') ?
|
os.create('table.html') ?
|
||||||
}
|
}
|
||||||
mut table := os.read_file('table.html') ?
|
mut table := os.read_file('table.html') ?
|
||||||
if table.contains('>$commit<') {
|
if os.exists('website/index.html') {
|
||||||
println('nothing to benchmark')
|
uploaded_index := os.read_file('website/index.html') ?
|
||||||
exit(1)
|
if uploaded_index.contains('>$commit<') {
|
||||||
return
|
println('nothing to benchmark')
|
||||||
|
exit(1)
|
||||||
|
return
|
||||||
|
}
|
||||||
}
|
}
|
||||||
// for i, commit in commits {
|
// for i, commit in commits {
|
||||||
message := exec('git log --pretty=format:"%s" -n1 $commit')
|
message := exec('git log --pretty=format:"%s" -n1 $commit')
|
||||||
@ -119,6 +122,7 @@ fn main() {
|
|||||||
os.chdir('website')
|
os.chdir('website')
|
||||||
os.execute_or_exit('git checkout gh-pages')
|
os.execute_or_exit('git checkout gh-pages')
|
||||||
os.cp('../index.html', 'index.html') ?
|
os.cp('../index.html', 'index.html') ?
|
||||||
|
os.rm('../index.html') ?
|
||||||
os.system('git commit -am "update benchmark"')
|
os.system('git commit -am "update benchmark"')
|
||||||
os.system('git push origin gh-pages')
|
os.system('git push origin gh-pages')
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user