diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2017-06-14 17:05:12 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2017-06-14 17:05:12 +0200 |
| commit | 0dbf1fd955ca34175d140e45e846011bf5858fa7 (patch) | |
| tree | a7b9a3f139a3110bac5781af79e46ae37ff89c1d /run-all.sh | |
| parent | cebd06d64b4ec930445f285b5d3297f988cd79d1 (diff) | |
| download | imagefish-0dbf1fd955ca34175d140e45e846011bf5858fa7.tar.gz | |
add workstation
Diffstat (limited to 'run-all.sh')
| -rwxr-xr-x | run-all.sh | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -25,6 +25,11 @@ nilsson) linux32 ./F25-efi-grub2.sh || exit 1 linux32 ./F25-efi-systemd.sh || exit 1 ;; +sirius) + # rebuild images + export IMAGEFISH_DESTDIR="/vmdisk/hdd/imagefish" + ./RHEL73-efi.sh || exit 1 + ;; *) echo "unknown host, don't know what to do" exit 1 |