Searched refs:dist_bin_SCRIPTS (Results 1 – 2 of 2) sorted by relevance
99 dist_bin_SCRIPTS = event_rpcgen.py macro
799 o Use dist_bin_SCRIPTS, not EXTRA_DIST, to distribute scripts (9eb2fd7)