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

[Diego Biurrun]

On Mon, Oct 22, 2007 at 06:24:33PM +0200, Stefano Sabatini wrote:
> 
> 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.

Thanks for the report, both issues fixed differently.

Diego