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