#!/bin/sh
#
#ident "$Id: default_os,v 1.2 2005/01/04 22:03:15 mikew Exp $"
#

make_version() {
	echo "vers=$1"
}

make_proto() {
	echo "proto=$1"
}
