From 5e70dd4bbb214674ecf89e5462c12bab2395f343 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 4 Feb 2022 17:23:19 +0100
Subject: [PATCH] update makefile

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0b0b3db..edcdcde 100644
--- a/Makefile
+++ b/Makefile
@@ -5,4 +5,4 @@ build:
 .PHONY: install
 install:
 	echo "installing to local probcli/lib folder:"
-	mv build/libs/tlc4b-1.0.*.jar ../../prob_prolog/lib/TLC4B.jar 
+	cp build/libs/tlc4b-1.0.*.jar ../../prob_prolog/lib/TLC4B.jar 
-- 
GitLab