Makefile: rebuild thirdparty/

pull/1271/head
Alexander Medvednikov 2019-07-22 20:29:50 +02:00 committed by GitHub
parent a307a51b46
commit dd070e616d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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