diff options
author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-03 16:28:56 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-09-03 16:28:58 -0400 |
commit | 0d05aa02b65941586a22f283a9c0f617f0314d0f (patch) | |
tree | d64b0d0caaaa30318e5c3eaa87526b4930cae31e /post-commit | |
parent | 132323501850eec21c1ccfd00b654428d8bafe53 (diff) | |
parent | 6f7d74f8a0c5a77441b34e3b42950c18127da3d7 (diff) |
make: improve
Lazy load everything in the Page class.
Diffstat (limited to 'post-commit')
-rwxr-xr-x | post-commit | 2 |
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 |