diff options
Diffstat (limited to 'include/makeinclude/platform_tru64_pre.GNU')
| -rw-r--r-- | include/makeinclude/platform_tru64_pre.GNU | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/include/makeinclude/platform_tru64_pre.GNU b/include/makeinclude/platform_tru64_pre.GNU deleted file mode 100644 index 318ba855258..00000000000 --- a/include/makeinclude/platform_tru64_pre.GNU +++ /dev/null @@ -1,11 +0,0 @@ -# $Id$ - -# Common definitions for all versions of Digital Unix. - -ifndef ACE_DU_VERSION - ACE_DU_VERSION := $(shell uname -r) -endif # ! ACE_DU_VERSION - -ifndef ACE_DU_SUBVERSION - ACE_DU_SUBVERSION := $(shell /usr/sbin/sizer -v) -endif # ! ACE_DU_SUBVERSION |