diff options
| author | Marc Zyngier <marc.zyngier@arm.com> | 2017-07-13 13:37:49 +0100 |
|---|---|---|
| committer | Marc Zyngier <marc.zyngier@arm.com> | 2017-07-13 15:08:15 +0100 |
| commit | 62487b6c2da6366337a2d34ce87b67366be70196 (patch) | |
| tree | 8aede8ff733c7fd1b05ed049e72922c590b6db81 | |
| parent | ec030129c0ea87b9067a78b2a7d08bcccb798388 (diff) | |
| download | vminstall-62487b6c2da6366337a2d34ce87b67366be70196.tar.gz | |
build-cd-image: Fix vmlinux path check
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
| -rwxr-xr-x | build-cd-image | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-cd-image b/build-cd-image index 2febc82..5605340 100755 --- a/build-cd-image +++ b/build-cd-image @@ -9,7 +9,7 @@ mkdir $out vmlinuzpath=$(xorriso -dev $1 -sh_style_result on -find / -type f -name vmlinuz 2>/dev/null | cut -f2- -d '/') -if [ "vmlinuzpath" != "" ]; then +if [ "$vmlinuzpath" != "" ]; then # Debian, newer Ubuntu kpath=/`dirname $vmlinuzpath` kname=vmlinuz |