From 69657170aa1ac065765de00411e04400942ae28a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 28 Oct 2019 11:23:54 +0100
Subject: [make] install .vos along with .vo

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

(limited to 'Makefile.vofiles')

diff --git a/Makefile.vofiles b/Makefile.vofiles
index 5296ed43ff..97263ed9ea 100644
--- a/Makefile.vofiles
+++ b/Makefile.vofiles
@@ -49,7 +49,7 @@ endif
 else
 NATIVEFILES :=
 endif
-LIBFILES:=$(ALLVO:.$(VO)=.vo) $(NATIVEFILES) $(VFILES) $(GLOBFILES)
+LIBFILES:=$(ALLVO:.$(VO)=.vo) $(ALLVO:.$(VO)=.vos) $(NATIVEFILES) $(VFILES) $(GLOBFILES)
 
 # For emacs:
 # Local Variables:
-- 
cgit v1.2.3