Make OFFLINE!=no work again. https://github.com/krb5/krb5/commit/747d9109d6fa5a30a55a1b4315e62d967a0698ff Commit By: tlyu Revision: 24140 Changed Files: U trunk/src/lib/krb5/os/Makefile.in