fprintf fails

[GoogleCodeExporter]

What steps will reproduce the problem?

1. Open system/src/c_examples/chello/hello.c in an editor.
2. Replace the printf statement with:

    int i;

    i = fprintf (stdout, "Hello World!\n");
    printf ("%d\n", i);

3. make

What is the expected output? What do you see instead?

Expected:

  Hello World!
  13

Actual:

  -1

What version of the product are you using? On what operating system?

Terminal IDE 2.02
Android 4.0.4 on a Huawei G600 phone

Please provide any additional information below.

Same result when writing to stderr.

Original issue reported on code.google.com by trmus...@gmail.com on 8 Apr 2013 at 5:15