From 59393d90e4116bc6588e648859dfe210214bec6b Mon Sep 17 00:00:00 2001
From: Remco Rijnders <remmy@localhost.(none)>
Date: Thu, 23 Aug 2012 07:50:21 +0200
Subject: [PATCH] Config script would no longer source Options file

Is this due to a change in bash perhaps? By preceeding the file being
sourced with ./ it works again.
---
 Config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config b/Config
index 69399c4..de72b1d 100755
--- a/Config
+++ b/Config
@@ -16,7 +16,7 @@ MV=mv
 RM=rm
 SETUP=include/setup.h
 OPTIONS_H=include/options.h
-OPTIONS=Options
+OPTIONS=./Options
 MAKEINST=.install
 AUTO_CONFIG=""
 #
-- 
2.30.2