oceani: add test for duplicate main functions

[ocean] / csrc / oceani.mdc

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index fd753ce5e0b0d43484fb6959e19cb30c7ee04aab..59b8540122e2f75cd6ee471c3482a8bb8810380d 100644 (file)
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -166,6 +166,12 @@ structures can be used.
                {NULL,        0, NULL, 0},
        };
        const char *options = "tpnbs";
+
+       static void pr_err(char *msg)
+       {
+               fprintf(stderr, "%s\n", msg);           // NOTEST
+       }
+
        int main(int argc, char *argv[])
        {
                int fd;
@@ -207,7 +213,7 @@ structures can be used.
                context.file_name = argv[optind];
                len = lseek(fd, 0, 2);
                file = mmap(NULL, len, PROT_READ, MAP_SHARED, fd, 0);
-               s = code_extract(file, file+len, NULL);
+               s = code_extract(file, file+len, pr_err);
                if (!s) {
                        fprintf(stderr, "oceani: could not find any code in %s\n",
                                argv[optind]);