blob: 8568b913f461a9cbf182bfc0cf9047a3ac60aef8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- ostype.orig 1993-04-19 16:18:37 UTC
+++ ostype
@@ -6,6 +6,8 @@ if ( -f /etc/motd ) then
set os="UNKNOWN"
if ( -f /etc/motd ) then
set os=`awk -f ostype.awk /etc/motd`
+else
+ set os=`uname -a | awk -f ostype.awk`
endif
if ($os == "") exit 1
if ($os == "UNKNOWN") then
|
