| Index: src/platform/vboot_reference/Makefile
|
| diff --git a/src/platform/vboot_reference/Makefile b/src/platform/vboot_reference/Makefile
|
| index 96798fdbefe50b454c4d5d143e6308baa321be92..4f761135e9e9e3df653d095bf7daf3a94fca583d 100644
|
| --- a/src/platform/vboot_reference/Makefile
|
| +++ b/src/platform/vboot_reference/Makefile
|
| @@ -2,7 +2,7 @@
|
| # Use of this source code is governed by a BSD-style license that can be
|
| # found in the LICENSE file.
|
|
|
| -export CC = gcc
|
| +export CC ?= gcc
|
| export CFLAGS = -Wall -ansi -DNDEBUG
|
| export TOP = $(shell pwd)
|
| export INCLUDEDIR = $(TOP)/include
|
|
|