diff options
author | Jeremy Harris <jgh146exb@wizmail.org> | 2017-07-30 14:21:43 +0100 |
---|---|---|
committer | Jeremy Harris <jgh146exb@wizmail.org> | 2017-07-30 14:21:43 +0100 |
commit | ad1a76fefdc79201fe2efaf0ef356acbb7938d46 (patch) | |
tree | 85fe7df7304522c8009931520d10c5b51b4c7e95 /src/OS/Makefile-HI-OSF | |
parent | 14de8063d82edc5bf003ed50abdea55ac542679b (diff) |
Retire historical build files
Diffstat (limited to 'src/OS/Makefile-HI-OSF')
-rw-r--r-- | src/OS/Makefile-HI-OSF | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/OS/Makefile-HI-OSF b/src/OS/Makefile-HI-OSF deleted file mode 100644 index da3d487a4..000000000 --- a/src/OS/Makefile-HI-OSF +++ /dev/null @@ -1,8 +0,0 @@ -# Exim: OS-specific make file for HI-OSF/1-MJ and HI-UX/MPP - -CC=cc -CFLAGS=-O -RANLIB=@true -EXIWHAT_EGREP_ARG='/exim( |$$)' - -# End |