diff options
author | mike-holmes <mike.holmes@linaro.org> | 2014-01-06 08:23:04 -0500 |
---|---|---|
committer | mike-holmes <mike.holmes@linaro.org> | 2014-01-06 08:29:16 -0500 |
commit | c0022cdc1c09cdbe9f2f2472ccc1494f2b5ac181 (patch) | |
tree | 4f751af7f971ef73823be286a9f83e8a9ecca744 /Makefile | |
parent | ec7bd2db255dd510849f647660d8676e30567912 (diff) |
Make should not build the docs by default
Change-Id: I41f7727740a4fb20083fd822a5bdf34792afe460
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -27,7 +27,7 @@ docs: .PHONY: libs libs: - $(MAKE) -C $(ODP_LIB) all + $(MAKE) -C $(ODP_LIB) libs .PHONY: clean clean: |