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-ULTRIX | |
| parent | 14de8063d82edc5bf003ed50abdea55ac542679b (diff) | |
Retire historical build files
Diffstat (limited to 'src/OS/Makefile-ULTRIX')
| -rw-r--r-- | src/OS/Makefile-ULTRIX | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/OS/Makefile-ULTRIX b/src/OS/Makefile-ULTRIX deleted file mode 100644 index 9e912b3cb..000000000 --- a/src/OS/Makefile-ULTRIX +++ /dev/null @@ -1,18 +0,0 @@ -# Exim: OS-specific make file for Ultrix - -MAKE_SHELL=/usr/bin/sh5 - -CFLAGS=-O - -# This can either be /usr/include/X11 or /usr/include/mit depending on -# the particular version of ULTRIX. - -XINCLUDE=-I/usr/include/X11 -I/usr/include/mit - -DBMLIB=-lgdbm - -EXIWHAT_PS_ARG=-ax -EXIWHAT_EGREP_ARG='/exim( |$$)' -EXIWHAT_KILL_SIGNAL=-USR1 - -# End |