diff options
Diffstat (limited to 'performance-tests/Server_Concurrency/Leader_Follower')
| -rw-r--r-- | performance-tests/Server_Concurrency/Leader_Follower/Server_Concurrency_Leader_Follower.mpc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/performance-tests/Server_Concurrency/Leader_Follower/Server_Concurrency_Leader_Follower.mpc b/performance-tests/Server_Concurrency/Leader_Follower/Server_Concurrency_Leader_Follower.mpc index 2b88981629f..18b9e28febf 100644 --- a/performance-tests/Server_Concurrency/Leader_Follower/Server_Concurrency_Leader_Follower.mpc +++ b/performance-tests/Server_Concurrency/Leader_Follower/Server_Concurrency_Leader_Follower.mpc @@ -1,3 +1,6 @@ +// -*- MPC -*- +// $Id$ + project : aceexe { source_files { leader_follower.cpp |