From cf1645aebb4768fe3f67a0acdbd392232b400b88 Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Sat, 10 May 2014 15:45:42 +0200
Subject: old-makefile: add a missing source directory

Fixes "make clean".
---
 old-makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/old-makefile b/old-makefile
index 624399d166..000505dcbc 100644
--- a/old-makefile
+++ b/old-makefile
@@ -343,6 +343,7 @@ DIRS =  . \
         player/timeline \
         demux \
         misc \
+        options \
         osdep \
         osdep/ar \
         player \
-- 
cgit v1.2.3