[FFmpeg-devel] [PATCH] Fix make install-progs if $(PROGS) is empty

[Stefano Sabatini]

Hi all,

if we use these configure options:
--disable-ffmpeg --disable-ffserver --disable-ffplay

then the make install rule will fail with:

stefano at geppetto:~/src/ffmpeg$ make install
"/home/stefano/src/ffmpeg"/version.sh "/home/stefano/src/ffmpeg"
install -d "/home/stefano/bin"
install -c -m 755  "/home/stefano/bin"
install: missing destination file operand after `/home/stefano/bin'
Try `install --help' for more information.
make: *** [install-progs] Error 1

This patch fixes the problem, please check if I'm using a bashism.

Suggested log: $subject

Same problem for install-man.


Best regards.
-- 
Stefano Sabatini
Linux user number 337176 (see http://counter.li.org)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix-install-progs-if-no-progs-00.patch
Type: text/x-diff
Size: 396 bytes
Desc: not available
URL: <http://lists.mplayerhq.hu/pipermail/ffmpeg-devel/attachments/20071022/113fef47/attachment.patch>