# generate temps
_ping_client.c _ping_server.c _ping_simulator.c: ping_deployment.txt $(top_srcdir)/src/examples/gras_stub_generator
$(top_srcdir)/src/examples/gras_stub_generator ping ping_deployment.txt >/dev/null
# generate temps
_ping_client.c _ping_server.c _ping_simulator.c: ping_deployment.txt $(top_srcdir)/src/examples/gras_stub_generator
$(top_srcdir)/src/examples/gras_stub_generator ping ping_deployment.txt >/dev/null