diff options
author | Evgeny Khramtsov <xramtsov@gmail.com> | 2013-07-15 20:06:35 -0700 |
---|---|---|
committer | Evgeny Khramtsov <xramtsov@gmail.com> | 2013-07-15 20:06:35 -0700 |
commit | 33f09c7a78493c805c1cf7508fbbe99a95d6f72e (patch) | |
tree | 45d3928b7e90d3893176a46ce436dd5096b47d18 | |
parent | Do not forget to re-define the crash.log path (diff) | |
parent | make deps/.built depend on deps/.got (diff) |
Merge pull request #83 from tagged/makefile
make deps/.built depend on deps/.got
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 6b3b32b61..06788a176 100644 --- a/Makefile.in +++ b/Makefile.in @@ -77,7 +77,7 @@ deps/.got: rm -rf deps/.built $(REBAR) get-deps && :> deps/.got -deps/.built: +deps/.built: deps/.got $(REBAR) compile && :> deps/.built src: deps/.built |