From 609c27c31fb95ce8a0a2359e267b725cb2fb4587 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 28 May 2019 11:10:05 +0200
Subject: [PATCH] fix(tests/playground/Makefile): create correct .cpp files
 when called directly

---
 tests/playground/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tests/playground/Makefile b/tests/playground/Makefile
index ef78f3a407..4950aed8ad 100644
--- a/tests/playground/Makefile
+++ b/tests/playground/Makefile
@@ -50,8 +50,10 @@ frontend%lean.out:
 # files of the two binaries.
 %.gcc.lean.out: LEAN_BIN = $(LEAN_GCC_BIN)
 %.gcc.lean: %.lean; ln -f $< $@
+%.no_reuse.lean.cpp: LEAN_BIN = $(LEAN_NO_REUSE_BIN)
 %.no_reuse.lean.out: LEAN_BIN = $(LEAN_NO_REUSE_BIN)
 %.no_reuse.lean: %.lean; ln -f $< $@
+%.no_borrow.lean.cpp: LEAN_BIN = $(LEAN_NO_BORROW_BIN)
 %.no_borrow.lean.out: LEAN_BIN = $(LEAN_NO_BORROW_BIN)
 %.no_borrow.lean: %.lean; ln -f $< $@
 %.no_st.lean.out: LEAN_BIN = $(LEAN_NO_ST_BIN)