Changeset 7137 for src/Main.hs

Timestamp:

09/25/05 22:30:40 (3 years ago)

Author:

putter

Message:

crude_repl.pl: rename to pugs-p5.pl

Files:

• src/Main.hs (modified) (1 diff)

src/Main.hs

@@ -216 +216 @@
     case map toLower backend of
         "js"    -> if (args == [])
-                   then (doExecuteHelper [ "perl5", "PIL2JS",  "jspugs.pl"     ] [])
-                   else (doExecuteHelper [ "perl5", "PIL2JS",  "runjs.pl"      ] args)
-        "perl5" ->       doExecuteHelper [ "perl5", "PIL-Run", "crude_repl.pl" ] args
+                   then (doExecuteHelper [ "perl5", "PIL2JS",  "jspugs.pl"  ] [])
+                   else (doExecuteHelper [ "perl5", "PIL2JS",  "runjs.pl"   ] args)
+        "perl5" ->       doExecuteHelper [ "perl5", "PIL-Run", "pugs-p5.pl" ] args
         _       ->       fail ("unknown backend: " ++ backend)