Commit c0db5be20282013ce1697b8f2512223d75d3efb0

Stefano Lattarini 2010-11-14T18:10:37

tests: `instspc-*.test': do not create useless source file * tests/instspc-tests.sh (create_input_data): Do not create unused source file `source2.c'.