From 06adfda0cc6d924e48f4e1a82356d21090b38a5c Mon Sep 17 00:00:00 2001
From: Bernd Machenschalk <bernd.machenschalk@aei.mpg.de>
Date: Mon, 17 Jun 2019 10:40:04 +0200
Subject: [PATCH] Makefile: renamed target 'sample' to avoid conflict with
 directory name

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ba7d6c5..beff620 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 default: linux
 
-linux: static shared example
+linux: static shared sample
 
 macos: linux
 
@@ -10,7 +10,7 @@ static:
 shared:
 	$(MAKE) -C src shared
 
-example:
+sample:
 	$(MAKE) -C example
 
 win32:
-- 
GitLab