diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2013-09-13 12:11:33 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2013-09-13 12:11:33 +0200 |
| commit | 43cffcf3b5f799364c18830f0ff4214bd839047f (patch) | |
| tree | 51afc33e93e2659f1ffd5032224d5bc6d93149db | |
| parent | 7f55b3cd806ef5d57c7dcd15e3246151c61c241c (diff) | |
| download | seabios-43cffcf3b5f799364c18830f0ff4214bd839047f.tar.gz | |
use devtoolkit2
| -rw-r--r-- | seabios.git.spec | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/seabios.git.spec b/seabios.git.spec index 7cb78e9..49a093d 100644 --- a/seabios.git.spec +++ b/seabios.git.spec @@ -48,6 +48,9 @@ SeaBIOS open-source VGABIOS implementation %setup -q -n %{name} %build +if test -f /opt/rh/devtoolset-2/enable; then + source /opt/rh/devtoolset-2/enable +fi function do_build() { local cfg="$1" local target="$2" |