Diff of /trunk/grubby/new-kernel-pkg
Parent Directory
| 
Revision Log
| 
Patch
| revision 2703 by niro, Wed Jul 16 10:50:58 2014 UTC | revision 2704 by niro, Wed Jul 16 10:54:46 2014 UTC | |
|---|---|---|
| # | Line 191 install() | Line 191 install() |
| 191 | fi | fi |
| 192 | ||
| 193 | DEVTREE="" | DEVTREE="" |
| 194 | if [[ x${devtreefile} != x ]] && [ -f ${devtreefile} ] | if [[ x${devtreefile} != x ]] && [ -f "${devtreefile}" ] |
| 195 | then | then |
| 196 | [[ -n ${verbose} ]] && echo "found ${devtreefile} and using it with grubby" | [[ -n ${verbose} ]] && echo "found ${devtreefile} and using it with grubby" |
| 197 | DEVTREE="--devtree ${devtreefile}" | DEVTREE="--devtree ${devtreefile}" |
|
||||||||