Skip to content

Commit

Permalink
tools/fast: fix uploading
Browse files Browse the repository at this point in the history
  • Loading branch information
medvednikov committed Aug 16, 2021
1 parent 22b1fca commit e09d3ee
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion cmd/tools/fast/fast.v
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,8 @@ fn main() {
// exec('git checkout master')
// os.write_file('last_commit.txt', commits[commits.len - 1]) ?
// Upload the result to github pages
if os.args.contains('upload') {
if os.args.contains('-upload') {
println('uploading...')
os.chdir('website')
os.execute_or_exit('git checkout gh-pages')
os.cp('../index.html', 'index.html') ?
Expand Down

0 comments on commit e09d3ee

Please sign in to comment.