summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/Makefile.am1
-rwxr-xr-xtools/push3
2 files changed, 4 insertions, 0 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am
index c0404606..8c042a94 100644
--- a/tools/Makefile.am
+++ b/tools/Makefile.am
@@ -43,6 +43,7 @@ libledger_expr_la_SOURCES = \
src/option.cc \
src/format.cc \
src/query.cc \
+ src/predicate.cc \
src/scope.cc \
src/interactive.cc \
src/expr.cc \
diff --git a/tools/push b/tools/push
index 2d8be6a2..206ec87c 100755
--- a/tools/push
+++ b/tools/push
@@ -9,3 +9,6 @@ git merge --no-ff next
git checkout next
git rebase master
git push
+git checkout master
+./acprep upload
+git checkout next