]> gitweb.factorcode.org Git - factor.git/commitdiff
fix build-support for .exe/.com change
authorDoug Coleman <doug.coleman@gmail.com>
Thu, 29 Jan 2009 20:08:53 +0000 (14:08 -0600)
committerDoug Coleman <doug.coleman@gmail.com>
Thu, 29 Jan 2009 20:08:53 +0000 (14:08 -0600)
build-support/factor.sh

index b2b6ad1ff94bea6f3ba3055a2fbb62173056623f..3517d8f4ba41be828a4eacf4a54a906dd723cbd6 100755 (executable)
@@ -236,7 +236,7 @@ find_word_size() {
 
 set_factor_binary() {
     case $OS in
-        winnt) FACTOR_BINARY=factor.exe;;
+        winnt) FACTOR_BINARY=factor.com;;
         *) FACTOR_BINARY=factor;;
     esac
 }