From 21395ebf3f47edd9af425f4f7e92c1578d0ebc9f Mon Sep 17 00:00:00 2001
From: Suhabe Bugrara <suhabe@bugrara.com>
Date: Tue, 12 Feb 2019 14:59:05 -0800
Subject: [PATCH] Use KOMPILE_BACKEND flag to set backend to java

---
 tests/imp/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/imp/Makefile b/tests/imp/Makefile
index a9f37c9..0266dd2 100644
--- a/tests/imp/Makefile
+++ b/tests/imp/Makefile
@@ -1,7 +1,7 @@
 DEF=imp
 EXT=imp
 TESTDIR=.
-KOMPILE_FLAGS=--backend java
+KOMPILE_BACKEND?=java
 KRUN_FLAGS+=--output none
 
 include $(K_HOME)/k-distribution/include/ktest.mak