From a60b0fbe6afd57992048f0bb3fa20093b943e81c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 11 Oct 2022 15:23:49 +0200
Subject: [PATCH] [ivette] opam install/remove don't have echo

---
 ivette/makefile.opam | 18 +++++++-----------
 1 file changed, 7 insertions(+), 11 deletions(-)

diff --git a/ivette/makefile.opam b/ivette/makefile.opam
index f2d1c5e9df6..6a907d2cc15 100644
--- a/ivette/makefile.opam
+++ b/ivette/makefile.opam
@@ -27,20 +27,16 @@
 .PHONY: install uninstall
 
 install:
-	@echo "Installing Ivette…"
-	@mkdir -p $(PREFIX)/bin
-	@install ivette/ivette-opam.sh $(PREFIX)/bin/ivette
-	@mkdir -p $(PREFIX)/lib/frama-c
-	@tar zcf $(PREFIX)/lib/frama-c/ivette.tgz ivette
-	@echo "Done"
+	mkdir -p $(PREFIX)/bin
+	install ivette/ivette-opam.sh $(PREFIX)/bin/ivette
+	mkdir -p $(PREFIX)/lib/frama-c
+	tar zcf $(PREFIX)/lib/frama-c/ivette.tgz ivette
 
 uninstall:
-	@echo "Removing Ivette…"
-	@rm -f $(PREFIX)/bin/ivette
-	@rm -f $(PREFIX)/lib/frama-c/ivette.tgz
-	@if test -d /Applications/Ivette.app ;\
+	rm -f $(PREFIX)/bin/ivette
+	rm -f $(PREFIX)/lib/frama-c/ivette.tgz
+	if test -d /Applications/Ivette.app ;\
 	 then \
 	 mkdir -p $(PREFIX)/bin; \
 	 install ivette/ivette-macos-cleanup.sh $(PREFIX)/bin/ivette; \
 	 fi
-	@echo "Done"
-- 
GitLab