-- Config~ 2003-06-12 15:53:34.000000000 +0200
++ Config 2003-06-12 15:53:34.000000000 +0200
else if [ $? -ne 0 -o "$OSNAME" = "Linux RedHat 5.1" -o -n "$NEEDSKIPNAME" ] ; then
echo $n " dn_skipname$c"
$RM -f Makefile.tmp
sed -e "s@^RES=\(.*\)@RES=res_skipname.o@" Makefile > Makefile.tmp
sed -e "s@^RES=\(.*\)@RES=res_skipname.o res_init.o@" Makefile > Makefile.tmp
cp Makefile.tmp Makefile
else