diff options
| author | Lars Wirzenius <liw@liw.fi> | 2020-06-15 09:52:13 +0300 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2020-06-15 09:52:13 +0300 |
| commit | 940e1436026b79b079ce0c55f6eefa1eafd31b4c (patch) | |
| tree | f6ee3c43f91e3091e20d67cc798e02cda4e6bf67 | |
| parent | fa7f6e4c5504e8d5692e6de9b95745400c161adb (diff) | |
| download | liw-ci-940e1436026b79b079ce0c55f6eefa1eafd31b4c.tar.gz | |
speed up journal.liw.fi by incremental building
| -rw-r--r-- | ci-prod-websites.ick | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/ci-prod-websites.ick b/ci-prod-websites.ick index 5dbddde..f49308d 100644 --- a/ci-prod-websites.ick +++ b/ci-prod-websites.ick @@ -244,14 +244,12 @@ pipelines: # "Install" the plugin so ikiwiki can find it find -ls mkdir -p ikiwiki/IkiWiki/Plugin - mv ikiwiki-pandoc/pandoc.pm ikiwiki/IkiWiki/Plugin - - rm -rf src # we don't use this, or ikiwiki will always rebuild + cp ikiwiki-pandoc/pandoc.pm ikiwiki/IkiWiki/Plugin if [ -e build ] then (cd build && git pull) - opt=--rebuild + opt=--refresh else git clone .mirrors/source build opt=--gettime |