From d92f0cdf60f4ee99c5e1a0d74dded5be6bfb949a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 9 Feb 2022 11:32:08 +0100
Subject: Fix the Makefile to make sure the translation options are correct

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 67212e22..068d5f61 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ DEST_DIR=tests/
 # Default translation options:
 # - insert calls to the normalizer in the translated code to test the
 #   generated unit functions
-TRANS_OPTIONS=-test-trans-units
+TRANS_OPTIONS:=-test-trans-units
 
 # Build the project and test it
 .PHONY: build-test
@@ -23,7 +23,8 @@ build:
 test: build translate-no_nested_borrows translate-hashmap
 
 # Add specific options to some tests
-translate-no_nested_borrows: OPTIONS := $(OPTIONS) -test-units
+translate-no_nested_borrows: TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units
+translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS)
 
 # Generic rule to extract the CFIM from a rust file
 .PHONY: gen-cfim-%
-- 
cgit v1.2.3