From 6f86e32630d12a5ec37448d50ae7ba3ab0ed6b09 Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Sat, 10 May 2014 15:45:42 +0200
Subject: [PATCH] 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 9e8321a073..1d3b45a8cc 100644
--- a/old-makefile
+++ b/old-makefile
@@ -339,6 +339,7 @@ DIRS =  . \
         player/timeline \
         demux \
         misc \
+        options \
         osdep \
         osdep/ar \
         player \