summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLinus Nordberg <linus@nordu.net>2017-01-27 15:11:42 +0100
committerLinus Nordberg <linus@nordu.net>2017-02-01 11:14:41 +0100
commit829ab97fccb991832445862ec8246197a225ecec (patch)
tree8152c9e6855537661e7b1521ab45df62fd825e15 /Makefile
parent9d3d360e9bde66c0b2c37a196635bcfe26872ebe (diff)
Parallelised merge, distribution phase.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 55821c4..968c489 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ clean:
-rm priv/fsynchelper
-rm ebin/*.beam
dialyze: build
- dialyzer ebin
+ dialyzer ebin merge/ebin
tags:
etags src/*.[he]rl c_src/*.[ch]