diff options
| author | bala <balanatarajan@users.noreply.github.com> | 2003-05-30 20:31:08 +0000 |
|---|---|---|
| committer | bala <balanatarajan@users.noreply.github.com> | 2003-05-30 20:31:08 +0000 |
| commit | d2052598fca719f67e50ec35135a772a18b015fd (patch) | |
| tree | 242ffbe135147d0eeef83605b598a24d5597e2d1 /Makefile | |
| parent | 108ee4cddd7a12172b2e20a70a58e0d22776da12 (diff) | |
| download | ATCD-d2052598fca719f67e50ec35135a772a18b015fd.tar.gz | |
ChangeLogTag:Fri May 30 15:29:48 2003 Balachandran Natarajan <bala@dre.vanderbilt.edu>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -192,6 +192,9 @@ ACE_TAG = -ta $(ACE_TAG_VALUE) TAO_TAG_VALUE = $(shell head -1 TAO/VERSION | perl -ne \ 's/.* ([\d\.]+),.*\n/$$1/; tr/./_/; print "TAO-$$_";') TAO_TAG = -tt $(TAO_TAG_VALUE) +CIAO_TAG_VALUE = $(shell head -1 TAO/CIAO/VERSION | perl -ne \ + 's/.* ([\d\.]+),.*\n/$$1/; tr/./_/; print "CIAO-$$_";') +CIAO_TAG = -tc $(CIAO_TAG_VALUE) APPLY_NEW_TAG = tag CHECK = GENERATE_MAN_PAGES = -g |