From 4255159e97cf6aba3782db38f951074d55b3d538 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 19 Oct 2022 14:33:01 +0200
Subject: [PATCH] [ivette] fix PREFIX vs. INSTALLDIR error message
---
ivette/Makefile.installation | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/Makefile.installation b/ivette/Makefile.installation
index 7a69ff94f9c..7ca2ee41192 100644
--- a/ivette/Makefile.installation
+++ b/ivette/Makefile.installation
@@ -28,7 +28,7 @@ ifndef PREFIX
then
install::
@echo "Warning: not target for Ivette"
- @echo " (no INSTALLDIR, nor OPAM_SWITCH_PREFIX)"
+ @echo " (no PREFIX, nor OPAM_SWITCH_PREFIX)"
else
install::
@echo "Installing Ivette to ${PREFIX}"
--
GitLab