16/11/2018 19:02, Burdick, Cliff: > The documentation specifies the DEST_DIR parameter to ninja to override the install directory, but it's actually DESTDIR. > > Signed-off-by: Cliff Burdick <cliff.burdick at viasat.com> Thank you A similar patch was sent earlier: https://patches.dpdk.org/patch/48072/