summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSon Ho2022-02-09 18:32:18 +0100
committerSon Ho2022-02-09 18:32:18 +0100
commit1f6798412509e0020f3ad468bfe91d3b15a7ce75 (patch)
tree01083cda8fd141bc4355de736353203986c3fb54 /Makefile
parentb6b77b38a16a102d3ccbc8bfad5a81a04eb3643d (diff)
Cleanup a bit
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 33f98089..3d318ebc 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ build:
test: build translate-no_nested_borrows translate-hashmap
# Add specific options to some tests
-translate-no_nested_borrows: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split -no-decrease-clauses
+translate-no_nested_borrows: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split -no-decreases-clauses
translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS) -template-clauses
# Generic rule to extract the CFIM from a rust file