diff -up dhcp-3.0.5//client/scripts/linux.res_options dhcp-3.0.5//client/scripts/linux
--- dhcp-3.0.5//client/scripts/linux.res_options	2008-07-24 12:17:00.000000000 -1000
+++ dhcp-3.0.5//client/scripts/linux	2008-07-24 12:25:21.000000000 -1000
@@ -62,6 +62,9 @@ make_resolv_conf() {
  	    echo search $new_domain_name >> $rscf
         fi
     fi
+    if [ -n "$RES_OPTIONS" ]; then
+      echo options $RES_OPTIONS >> $rscf
+    fi
     for nameserver in $new_domain_name_servers; do
       echo nameserver $nameserver >> $rscf
     done