From ab6c5585b3526436ecc019f007909e68c1649f73 Mon Sep 17 00:00:00 2001 From: Roman Grundkiewicz Date: Tue, 27 Feb 2018 10:57:59 +0000 Subject: Remove marian/build directories --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 98c748e..4c4c73e 100644 --- a/Makefile +++ b/Makefile @@ -30,6 +30,7 @@ tools: tools/marian: git -C $@ pull || git clone $(GIT_MARIAN_DEV) -b $(BRANCH) $@ + rm -rf $@/build mkdir -p $@/build && cd $@/build && cmake .. -DCOMPILE_EXAMPLES=ON -DUSE_CUDNN=$(USE_CUDNN) && make -j$(THREADS) models: -- cgit v1.2.3