From 60a39d180cd7cbf525e8d9f0bd2d5c7855fc73b9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Mar 2022 23:41:21 +0100
Subject: Make minor modifications in the Makefile

---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 57832518..cd98429e 100644
--- a/Makefile
+++ b/Makefile
@@ -34,12 +34,12 @@ test: build translate-no_nested_borrows translate-hashmap translate-paper \
 
 # Add specific options to some tests
 translate-no_nested_borrows translate-paper: \
-	TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split-files -no-state -no-decreases-clauses
+	TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
 translate-no_nested_borrows translate-paper: SUBDIR:=misc
-translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS) -template-clauses -no-state
+translate-hashmap: TRANS_OPTIONS += -template-clauses -no-state
 translate-hashmap: SUBDIR:=hashmap
 
-translate-nll-betree_nll: TRANS_OPTIONS=-test-units -no-split-files -no-state -no-decreases-clauses
+translate-nll-betree_nll: TRANS_OPTIONS += -test-units -no-split-files -no-state -no-decreases-clauses
 translate-nll-betree_nll: SUBDIR:=misc
 
 # Generic rules to extract the LLBC from a rust file
-- 
cgit v1.2.3