diff options
| author | Thomas De Schampheleire <patrickdepinguin@gmail.com> | 2014-09-27 21:32:40 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2014-10-04 18:48:33 +0200 |
| commit | 57f2b8d2558ca47ffad01f3eadd245dd893e8154 (patch) | |
| tree | 8dbd7a88f7c6554b46c2d237bd0f9075c9e2f670 /boot/grub2 | |
| parent | b1993430346a8fed4607cfb565104cc33b598ea1 (diff) | |
packages: rename FOO_INSTALL_TARGET_OPT into FOO_INSTALL_TARGET_OPTS
To be consistent with the recent change of FOO_MAKE_OPT into FOO_MAKE_OPTS,
make the same change for FOO_INSTALL_TARGET_OPT.
Sed command used:
find * -type f | xargs sed -i 's#_INSTALL_TARGET_OPT\>#&S#g'
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Reviewed-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'boot/grub2')
| -rw-r--r-- | boot/grub2/grub2.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/grub2/grub2.mk b/boot/grub2/grub2.mk index c6945a4cc..12aac9a5d 100644 --- a/boot/grub2/grub2.mk +++ b/boot/grub2/grub2.mk @@ -65,7 +65,7 @@ GRUB2_CONF_OPT = \ # directory, and the image generation process (below) will use the # grub-mkimage tool and Grub2 modules from the host directory. -GRUB2_INSTALL_TARGET_OPT = DESTDIR=$(HOST_DIR) install +GRUB2_INSTALL_TARGET_OPTS = DESTDIR=$(HOST_DIR) install define GRUB2_IMAGE_INSTALLATION mkdir -p $(dir $(GRUB2_IMAGE)) |