1 files changed, 128 insertions, 0 deletions
diff --git a/warp/config.sh b/warp/config.sh
new file mode 100644
index 00000000..68c88418
--- /dev/null
+++ b/warp/config.sh
@@ -0,0 +1,128 @@
+#!/bin/sh
+# config.sh
+# This file was produced by running the Configure script.
+
+d_eunice='/*undef'
+eunicefix=':'
+define='define'
+loclist='
+expr
+sed
+echo
+cat
+rm
+mv
+cp
+tr
+mkdir
+sort
+uniq
+grep
+'
+expr='expr'
+sed='sed'
+echo='echo'
+cat='cat'
+rm='rm'
+mv='mv'
+cp='cp'
+tail=''
+tr='tr'
+mkdir='mkdir'
+sort='sort'
+uniq='uniq'
+grep='grep'
+trylist='
+test
+egrep
+Mcc
+'
+test='/bin/test'
+inews=''
+egrep='/usr/bin/egrep'
+more=''
+pg=''
+Mcc='Mcc'
+vi=''
+mailx=''
+mail=''
+Log='$Log'
+Header='$Header'
+cc='cc'
+contains='grep'
+cpp='cc -E'
+d_charsprf='define'
+d_fcntl='define'
+d_ftime='define'
+d_gethname='define'
+d_douname='/*undef'
+d_phostname='/*undef'
+d_getpwent='/*undef'
+d_havetlib='define'
+termlib='-ltermlib'
+d_index='/*undef'
+d_ioctl='define'
+d_normsig='define'
+jobslib=''
+d_portable='define'
+d_rdchk='/*undef'
+d_scorfl='/*undef'
+d_sgndchr='define'
+d_termio='/*undef'
+d_usendir='/*undef'
+d_libndir='/*undef'
+ndirc=''
+ndiro=''
+d_whoami='/*undef'
+hostname='kazoo'
+phostname='hostname'
+mydomain='.uucp'
+libc='/lib/libc.a'
+libnm='/usr/lib/libtermlib.a'
+mansrc='/usr/man/man6'
+manext='6'
+models='unsplit split'
+split='-i'
+small=''
+medium=''
+large=''
+huge=''
+ccflags=''
+ldflags=''
+n='-n'
+c=''
+nametype='bsd'
+d_passnames='define'
+d_berknames='define'
+d_usgnames='/*undef'
+passcat='cat /etc/passwd'
+package='warp'
+prefshell='/bin/csh'
+randbits='15'
+registers='3'
+reg1='register'
+reg2='register'
+reg3='register'
+reg4=''
+reg5=''
+reg6=''
+reg7=''
+reg8=''
+reg9=''
+reg10=''
+reg11=''
+reg12=''
+reg13=''
+reg14=''
+reg15=''
+reg16=''
+rootid='0'
+spitshell='cat'
+shsharp='true'
+sharpbang='#!'
+startsh='#!/bin/sh'
+voidflags='7'
+bin='/usr/games'
+chowner='daemon'
+privlib='/usr/games/lib/warp'
+CONFIG=true