--- trunk/main.c	2008/09/20 23:26:31	173
+++ trunk/main.c	2008/09/20 23:27:14	174
@@ -23,11 +23,14 @@
 #include <stdlib.h>
 #include <string.h>
 
+#include "global.h"
 #include "instrument.h"
 #include "instrument-js.h"
 #include "resource-manager.h"
 #include "util.h"
 
+const char * jscoverage_encoding = "ISO-8859-1";
+
 int main(int argc, char ** argv) {
   int verbose = 0;
 
@@ -79,6 +82,16 @@
       exclude[num_exclude] = argv[i] + 10;
       num_exclude++;
     }
+    else if (strcmp(argv[i], "--encoding") == 0) {
+      i++;
+      if (i == argc) {
+        fatal("--encoding: option requires an argument");
+      }
+      jscoverage_encoding = argv[i];
+    }
+    else if (strncmp(argv[i], "--encoding=", 11) == 0) {
+      jscoverage_encoding = argv[i] + 11;
+    }
     else if (strncmp(argv[i], "-", 1) == 0) {
       fatal("unrecognized option `%s'", argv[i]);
     }