gcc supports the following invocation syntax:

gcc -xc -

The first flag tells gcc to treat the input as C.

The second (the lone dash) means read the input to be compiled from stdin.

Would it be possible to modify cilly to support the lone dash option syntax?

(I'm trying to compile Xen using CIL and they use this in the make process
to test for compiler support of various features).