More renaming
[invirt/third/libt4.git] / Makefile
index 9d3ae06..6bd396f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -16,10 +16,10 @@ rpc/rpctest: rpc/rpctest.o tprintf.o rpc/librpc.a
 lock_demo=lock_demo.o lock_client.o tprintf.o rsm_client.o handle.o
 lock_demo : $(lock_demo) rpc/librpc.a
 
-lock_tester=lock_tester.o lock_client.o tprintf.o rsm_client.o handle.o lock_client_cache_rsm.o
+lock_tester=lock_tester.o lock_client.o tprintf.o rsm_client.o handle.o
 lock_tester : $(lock_tester) rpc/librpc.a
 
-lock_server=lock_server.o tprintf.o handle.o rsm.o paxos.o config.o log.o lock_server_cache_rsm.o
+lock_server=lock_smain.o tprintf.o handle.o rsm.o paxos.o config.o log.o lock_server.o
 lock_server : $(lock_server) rpc/librpc.a
 
 rsm_tester=rsm_tester.o rsmtest_client.o tprintf.o