diff options
| -rw-r--r-- | util/m5/Makefile.arm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/m5/Makefile.arm b/util/m5/Makefile.arm index 80c562a06..0e05b028a 100644 --- a/util/m5/Makefile.arm +++ b/util/m5/Makefile.arm @@ -40,8 +40,8 @@ # Ali Saidi ### If we are not compiling on an arm, we must use cross tools ### -ifneq ($(shell uname -m), arm) -CROSS_COMPILE?=arm-none-linux-gnueabi- +ifneq ($(shell uname -m), armv7l) +CROSS_COMPILE?=arm-linux-gnueabi- endif CC=$(CROSS_COMPILE)gcc AS=$(CROSS_COMPILE)as |