diff options
| author | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2018-06-05 14:28:56 +0200 |
|---|---|---|
| committer | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2018-06-05 15:03:43 +0200 |
| commit | 7c4c3dd291c741e2a42c78efd77ffbd3a1c9c1c1 (patch) | |
| tree | 773fe4188bb797c492f9dbb389cf028fd0b2f787 /.gitignore | |
| parent | cf4ee93a463709e3d83d485c316d8db28e162f00 (diff) | |
Added Specific.U as a hook for project-specific code.
After generating config.sh, this is a place where optional generation
can happen, before going on with the .SH file extractions and
dependency computations.
Typically, this can be used to generate a revision.h file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions