write_header - return text of header of loader script for builder script of the toolbox
write_header(u,builder_name)
- u :
integer. a file descriptor
- builder_name :
string. the name of the builder script
- MODNUMSCI/macros/build_util/write_header.sci [view code]
IRCOM Group Alan Layec