Undo accidental Makefile modification
authorAndrew Waterman <waterman@cs.berkeley.edu>
Thu, 3 Mar 2016 18:49:57 +0000 (10:49 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Thu, 3 Mar 2016 19:03:59 +0000 (11:03 -0800)
isa/Makefile

index d267812071a9dfd31e77fce5167eb1a0621c4489..d5b0b76550b73812dbe42ced486b69661123d3ae 100644 (file)
@@ -18,7 +18,7 @@ default: all
 # Build rules
 #--------------------------------------------------------------------
 
-RISCV_PREFIX ?= riscv64-unknown-linux-gnu-
+RISCV_PREFIX ?= riscv64-unknown-elf-
 RISCV_GCC ?= $(RISCV_PREFIX)gcc
 ENTROPY ?= -DENTROPY=$(shell echo $$$$)
 RISCV_GCC_OPTS ?= $(ENTROPY) -static -mcmodel=medany -fvisibility=hidden -nostdlib -nostartfiles