Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/FFmpeg/FFmpeg.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f011e51b4b..47792a0aca 100644
--- a/Makefile
+++ b/Makefile
@@ -35,7 +35,7 @@ FF_DEP_LIBS := $(DEP_LIBS)
ALL_TARGETS-$(BUILD_DOC) += documentation
-ifneq ($(PROGS),)
+ifdef PROGS
INSTALL_TARGETS-yes += install-progs install-data
INSTALL_TARGETS-$(BUILD_DOC) += install-man
endif