1 --- dvdisaster-0.64/scripts/bash-based-configure.orig 2005-08-17 01:29:10.000000000 +0200
2 +++ dvdisaster-0.64/scripts/bash-based-configure 2005-10-19 16:26:00.000000000 +0200
5 if (make -v | grep "GNU Make") > /dev/null 2>&1 ;
7 - echo "MAKE = `which make`" >>Makefile.config
8 + echo "MAKE = /usr/bin/make" >>Makefile.config
13 if gcc -v >/dev/null 2>&1; then
14 if (gcc -v 2>&1 | grep "gcc") > /dev/null 2>&1 ;
16 - echo "CC = `which gcc`" >>Makefile.config
18 + echo "CC = $CC" >>Makefile.config