Diff of /tags/grubby-8_36/new-kernel-pkg
Parent Directory
| 
Revision Log
| 
Patch
| revision 2686 by niro, Wed Jul 16 10:40:51 2014 UTC | revision 2699 by niro, Wed Jul 16 10:50:58 2014 UTC | |
|---|---|---|
| # | Line 191 install() | Line 191 install() |
| 191 | fi | fi |
| 192 | ||
| 193 | DEVTREE="" | DEVTREE="" |
| 194 | if [ -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}" |
|
||||||||