diff options
| author | Shaked Flur <fshaked@gmail.com> | 2019-07-19 09:19:51 +0100 |
|---|---|---|
| committer | Shaked Flur <fshaked@gmail.com> | 2019-07-19 09:19:51 +0100 |
| commit | 8b06916333edf84de5b7c27b44e7ce453fac5037 (patch) | |
| tree | 2e9742f55d2e7ce0c2244a514a38a99a6b0eed15 /Makefile | |
| parent | dfa3d509fce27079f68ec583b427b3d99ae597e4 (diff) | |
| download | sail-riscv-8b06916333edf84de5b7c27b44e7ce453fac5037.zip sail-riscv-8b06916333edf84de5b7c27b44e7ce453fac5037.tar.gz sail-riscv-8b06916333edf84de5b7c27b44e7ce453fac5037.tar.bz2 | |
Fixed two typos
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -128,7 +128,7 @@ endif # Feature detect if we are on the latest development version of Sail # and use an updated lem file if so. This is just until the opam # version catches up with changes to the barrier type. -SAIL_LATEST := $(shell $(SAIL) -has_feature FEATURE_UNION_BARRIERS 1>&2 2> /dev/null; echo $$?) +SAIL_LATEST := $(shell $(SAIL) -have_feature FEATURE_UNION_BARRIER 1>&2 2> /dev/null; echo $$?) ifeq ($(SAIL_LATEST),0) RISCV_EXTRAS_LEM = 0.11/riscv_extras.lem else |