From 27a91c0ca8c2aa015ee8b6bf9a3127c72a14821c Mon Sep 17 00:00:00 2001
From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Date: Mon, 25 Feb 2008 16:08:34 -0600
Subject: [PATCH] factor.sh: FACTOR_BINARY is now simply './factor' across mac,
 win, and linux

---
 misc/factor.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/misc/factor.sh b/misc/factor.sh
index 44feb329fb..4f503f427b 100755
--- a/misc/factor.sh
+++ b/misc/factor.sh
@@ -186,8 +186,8 @@ find_word_size() {
 
 set_factor_binary() {
         case $OS in
-                winnt) FACTOR_BINARY=factor-nt;;
-                macosx) FACTOR_BINARY=./Factor.app/Contents/MacOS/factor;;
+                # winnt) FACTOR_BINARY=factor-nt;;
+                # macosx) FACTOR_BINARY=./Factor.app/Contents/MacOS/factor;;
                 *) FACTOR_BINARY=factor;;
         esac
 }