summaryrefslogtreecommitdiff
path: root/riscv/Makefile
diff options
context:
space:
mode:
authorPrashanth Mundkur2018-05-18 17:54:02 -0700
committerPrashanth Mundkur2018-05-21 18:00:03 -0700
commit42da26688c5131e575669ef70aff3afd4481bbe6 (patch)
tree8f0d1727b3626dd2325fb38127ea3880f4b22441 /riscv/Makefile
parentc4368a58adc6260af2c5ff759f267af23a81cec6 (diff)
Move mem-op-result to _sys to be usable from _platform.
Diffstat (limited to 'riscv/Makefile')
-rw-r--r--riscv/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/Makefile b/riscv/Makefile
index 0532bf09..436fa0dc 100644
--- a/riscv/Makefile
+++ b/riscv/Makefile
@@ -1,4 +1,4 @@
-SAIL_SRCS = prelude.sail riscv_types.sail riscv_mem.sail riscv_sys.sail riscv_vmem.sail riscv.sail riscv_step.sail
+SAIL_SRCS = prelude.sail riscv_types.sail riscv_sys.sail riscv_mem.sail riscv_vmem.sail riscv.sail riscv_step.sail
SAIL_DIR ?= $(realpath ..)
export SAIL_DIR