dvdisaster: fix broken make discovery

This commit is contained in:
Robin Gloster 2017-01-19 17:06:51 +01:00
parent d9418bf8fb
commit 9e60e432ba
No known key found for this signature in database
GPG key ID: 5E4C836C632C2882

View file

@ -23,6 +23,9 @@ stdenv.mkDerivation rec {
postPatch = '' postPatch = ''
patchShebangs ./ patchShebangs ./
sed -i 's/dvdisaster48.png/dvdisaster/' contrib/dvdisaster.desktop sed -i 's/dvdisaster48.png/dvdisaster/' contrib/dvdisaster.desktop
substituteInPlace scripts/bash-based-configure \
--replace 'if (make -v | grep "GNU Make") > /dev/null 2>&1 ;' \
'if make -v | grep "GNU Make" > /dev/null 2>&1 ;'
''; '';
configureFlags = [ configureFlags = [