From 281a64921209d6b50c220203fb285eaec3e67b1b Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Tue, 3 May 2022 19:56:55 +0200
Subject: [PATCH] Makefile: fix default PREFIX

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

diff --git a/Makefile b/Makefile
index bdecbd7..4407ae7 100644
--- a/Makefile
+++ b/Makefile
@@ -22,7 +22,7 @@ LIBDIR   = build/lib
 OBJDIR   = build/obj
 INCDIR   = build/inc
 
-PREFIX ?= /usr/bin
+PREFIX ?= /usr
 
 # Directories that need to be created
 DIRS = $(BINDIR) $(OBJDIR) $(INCDIR) $(LIBDIR) $(SHAREDIR)