--- dhcp.old/configure	2007-04-01 17:16:14.000000000 +0200
+++ dhcp.dev/configure	2007-04-01 17:16:54.000000000 +0200
@@ -26,8 +26,8 @@
   shift
 done
 
-uname=`uname -s`
-machine=`uname -m`
+uname=${UNAME_S:-`uname -s`}
+machine=${UNAME_M:-`uname -m`}
 
 if [ "$sysname" = "" ]; then
   case $uname in
@@ -92,7 +92,7 @@
 	fi
       fi;;
     Linux)
-      release=`uname -r`
+      release=${UNAME_R:-`uname -r`}
       minor=`echo $release |sed -e 's/[0-9]*\.\([0-9][0-9]*\)\(\..*\)*$/\1/'`
       major=`echo $release |sed -e 's/\([0-9][0-9]*\)\..*$/\1/'`