summaryrefslogtreecommitdiff
path: root/server/timer.c
diff options
context:
space:
mode:
authorGravatar John Kohl <jtkohl@mit.edu>1987-12-18 06:42:50 +0000
committerGravatar John Kohl <jtkohl@mit.edu>1987-12-18 06:42:50 +0000
commitb903ad6fd4cbf0da46af4604f2b7ff5e96bec68b (patch)
tree5551f2341896833d6d4a023afdec33946f92b2e3 /server/timer.c
parent84201dc9f2b31f38b4e8c609d65fb8ff6df87c6d (diff)
lint fixes
Diffstat (limited to 'server/timer.c')
-rw-r--r--server/timer.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/server/timer.c b/server/timer.c
index 5f3db4c..b343c46 100644
--- a/server/timer.c
+++ b/server/timer.c
@@ -97,6 +97,9 @@ timer timer_set_rel (time_rel, proc, arg)
return(new_t);
}
+#ifdef notdef
+/* currently unused */
+
/*
* timer_set_abs (time_abs, proc, arg)
* time_abs: alarm time, absolute
@@ -123,6 +126,7 @@ timer timer_set_abs (time_abs, proc, arg)
add_timer(new_t);
return(new_t);
}
+#endif notdef
/*
* timer_reset