From 833c3c3bc46c4d14da402533f6af851a06e7eb0c Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Thu, 29 Jan 2009 13:17:56 -0600 Subject: [PATCH] add the shell script --- misc/factor-cygwin.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 misc/factor-cygwin.sh diff --git a/misc/factor-cygwin.sh b/misc/factor-cygwin.sh new file mode 100755 index 0000000000..b3a3375919 --- /dev/null +++ b/misc/factor-cygwin.sh @@ -0,0 +1,2 @@ +#! /bin/sh +./factor.com "$@"