Index: server/common/oursrc/tokensys/configure.in
===================================================================
--- server/common/oursrc/tokensys/configure.in	(revision 36)
+++ server/common/oursrc/tokensys/configure.in	(revision 38)
@@ -1,3 +1,10 @@
 AC_INIT()
+
+AC_DEFUN(REQUIRE_PATH,[
+AC_SUBST($1_path)
+if test "[$]$1_path" = ""; then
+        AC_ERROR(Cannot find $1)
+fi
+])
 
 AC_ARG_WITH(kinit,
@@ -7,8 +14,5 @@
   fi
 ])
-AC_SUBST(kinit_path)
-if test "$kinit_path" = ""; then
-        AC_ERROR(Cannot find kinit)
-fi
+REQUIRE_PATH(kinit)
 
 AC_ARG_WITH(aklog,
@@ -18,8 +22,5 @@
   fi
 ])
-AC_SUBST(aklog_path)
-if test "$aklog_path" = ""; then
-        AC_ERROR(Cannot find aklog)
-fi
+REQUIRE_PATH(aklog)
 
 AC_OUTPUT(Makefile)