Bug#93625: bashism

[Chris Butler <chrisb@debian.org>]

*cough*

Patch really attached this time.

-- 
Chris

--- Config.old	Fri Apr 13 15:15:38 2001
+++ Config	Fri Apr 13 15:16:03 2001
@@ -13,7 +13,7 @@
 RM=rm
 SETUP=include/setup.h
 OPTIONS_H=include/options.h
-OPTIONS=Options
+OPTIONS=./Options
 AUTO_CONFIG=""
 #
 STDLIBH=undef