From f9964abe7c7284b179fdb8a65689294a45d7c6de Mon Sep 17 00:00:00 2001 From: Paul Bakker Date: Thu, 5 Apr 2012 12:07:50 +0000 Subject: [PATCH] - Added extra build options --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index 36ce3e4ac..4713cfeb7 100644 --- a/Makefile +++ b/Makefile @@ -9,6 +9,13 @@ all: cd programs && $(MAKE) all && cd .. cd tests && $(MAKE) all && cd .. +no_test: + cd library && $(MAKE) all && cd .. + cd programs && $(MAKE) all && cd .. + +lib: + cd library && $(MAKE) all && cd .. + install: mkdir -p $(DESTDIR)/include/polarssl cp -r include/polarssl $(DESTDIR)/include