diff options
Diffstat (limited to 'defaultenv')
-rw-r--r-- | defaultenv/bin/boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/defaultenv/bin/boot b/defaultenv/bin/boot index 5186aeecca..b54ea6b71c 100644 --- a/defaultenv/bin/boot +++ b/defaultenv/bin/boot @@ -50,6 +50,9 @@ if [ x$ip = xdhcp -o x$ip = "xdhcp-barebox" ]; then if [ x$bootfile != x ]; then kernelimage=$bootfile fi + if [ x$dhcp_oftree_file != x ]; then + oftreeimage=$dhcp_oftree_file + fi fi fi |