diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2017-02-27 17:27:17 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2017-02-27 17:27:17 +0100 |
| commit | 20ece0ae20dbdfca5646b1a3d842f82f473ffac2 (patch) | |
| tree | 190c8abb96c2fd51a0ca22ba76e696309e592c97 | |
| parent | c29a59f92a4253cba17fa8a2e03106538307a8a0 (diff) | |
| download | imagefish-20ece0ae20dbdfca5646b1a3d842f82f473ffac2.tar.gz | |
rename efi to efi-grub2, more
| -rwxr-xr-x | run-all.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -17,12 +17,12 @@ arm-b64) # rebuild images ./F25-rpi64-fedora.sh || exit 1 ./F25-rpi64-kraxel.sh || exit 1 - ./F25-efi.sh || exit 1 + ./F25-efi-grub2.sh || exit 1 ;; nilsson) # rebuild images ./RHEL73-efi.sh || exit 1 - ./F25-efi.sh || exit 1 + ./F25-efi-grub2.sh || exit 1 ;; *) echo "unknown host, don't know what to do" |