Diff of /tags/grubby-8_35/new-kernel-pkg
Parent Directory | Revision Log | Patch
revision 2699 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}" |
|