Diff of /tags/grubby-8_34/new-kernel-pkg
Parent Directory | Revision Log | Patch
trunk/grubby/new-kernel-pkg revision 2686 by niro, Wed Jul 16 10:40:51 2014 UTC | tags/grubby-8_34/new-kernel-pkg revision 2713 by niro, Wed Jul 16 10:59:23 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}" |
|