summaryrefslogtreecommitdiff
path: root/post-commit
diff options
context:
space:
mode:
authorLuke Shumaker <lukeshu@sbcglobal.net>2016-09-03 16:28:56 -0400
committerLuke Shumaker <lukeshu@sbcglobal.net>2016-09-03 16:28:58 -0400
commit0d05aa02b65941586a22f283a9c0f617f0314d0f (patch)
treed64b0d0caaaa30318e5c3eaa87526b4930cae31e /post-commit
parent132323501850eec21c1ccfd00b654428d8bafe53 (diff)
parent6f7d74f8a0c5a77441b34e3b42950c18127da3d7 (diff)
make: improve
Lazy load everything in the Page class.
Diffstat (limited to 'post-commit')
-rwxr-xr-xpost-commit2
1 files changed, 1 insertions, 1 deletions
diff --git a/post-commit b/post-commit
index 574f468..09d2f7f 100755
--- a/post-commit
+++ b/post-commit
@@ -4,7 +4,7 @@ branch=$(git name-rev --name-only HEAD)
if [[ $branch == master ]]; then
git checkout pre-generated
git merge master -m 'bogus'
- make
+ make --always-make -j12
git add .
git commit --amend -m "make: $(git log -n1 master --pretty=format:%B)"
git checkout master