From dd070e616de330f57013149087def4a92292dd9d Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Mon, 22 Jul 2019 20:29:50 +0200 Subject: [PATCH] Makefile: rebuild thirdparty/ --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 91f59a2a0e..e5193f66fb 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ CC ?= cc CFLAGS ?= -O2 -fPIC PREFIX ?= /usr/local -all: clean v +all: clean v thirdparty $(info V has been successfully built) v: v.c