# HG changeset patch
# User Mike Pavone <pavone@retrodev.com>
# Date 1289959630 0
# Node ID daf1ffaf7c2c734c82ab0f206538010856adcfea
# Parent  fc3815b7462f9b13f82d6cad9a1cf6f68d871347
Fix selection of default backend in compiler. Small tweak to compile script

diff -r fc3815b7462f -r daf1ffaf7c2c compile
--- a/compile	Sun Nov 14 23:07:55 2010 -0500
+++ b/compile	Wed Nov 17 02:07:10 2010 +0000
@@ -6,7 +6,7 @@
 
 ./rhope2c $1
 
-if test ! -f "$1.c"; then
+if test ! -s "$1.c"; then
 	echo "Compilation to C failed"
 	exit 1
 fi
diff -r fc3815b7462f -r daf1ffaf7c2c compile_old_c.rhope
--- a/compile_old_c.rhope	Sun Nov 14 23:07:55 2010 -0500
+++ b/compile_old_c.rhope	Wed Nov 17 02:07:10 2010 +0000
@@ -83,7 +83,7 @@
 				Print[[["Unknown backend '"]Append[sel]]Append["' selected. Defaulting to C backend."]]
 				makeback <- C Program[?]
 			}
-		}{ makeback <- C Program[?] }
+		}{ makeback <- Val[C Program[?]] }
 		backend <- Call[makeback]
 		
 		file <- [File[~]]Open["r"]