diff options
Diffstat (limited to 'modules/CIAO/ciao/install_versionh.mpc')
-rw-r--r-- | modules/CIAO/ciao/install_versionh.mpc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/modules/CIAO/ciao/install_versionh.mpc b/modules/CIAO/ciao/install_versionh.mpc new file mode 100644 index 00000000000..9af4e0ee187 --- /dev/null +++ b/modules/CIAO/ciao/install_versionh.mpc @@ -0,0 +1,12 @@ +// $Id$ +project : install { + custom_only = 1 + Define_Custom(InstallHeader) { + } + InstallHeader_Files { + Version.h + } + specific { + custom_inst_tags = installheader_files + } +} |