diff compile @ 137:daf1ffaf7c2c

Fix selection of default backend in compiler. Small tweak to compile script
author Mike Pavone <pavone@retrodev.com>
date Wed, 17 Nov 2010 02:07:10 +0000
parents e556416e9c91
children
line wrap: on
line diff
--- 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