From 081b6cc153b9bec96fa22940b09ba6f82fd12d50 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 15 Jun 2020 16:29:52 +0200
Subject: [PATCH 1/1] Makefile: Also build osl.h by default.

Otherwise it gets built as root during make install and is thus owned
by root. This may cause problems, for example if the source resides
on an NFS mounted directory where root is not allowed to write.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index db345b4..aa0e6f6 100644
--- a/Makefile
+++ b/Makefile
@@ -66,7 +66,7 @@ realname := $(soname).$(y).$(z)
 # soname without any version number.
 linkername := lib$(libname).so
 
-all: $(realname) $(executables) $(man_pages)
+all: $(realname) $(executables) $(man_pages) $(headers)
 shared: $(realname)
 
 ifeq ($(findstring clean, $(MAKECMDGOALS)),)
-- 
2.39.2