diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-07-09 16:49:46 -0400 |
---|---|---|
committer | Neale Ranns <nranns@cisco.com> | 2019-07-28 14:21:05 +0000 |
commit | 2648e4474eee9df539d644cf22e67cd04385f0ba (patch) | |
tree | 8156dfb1cbe3bfe213aa8ae0f3633a28c55bcc46 /docs/reference/github | |
parent | 22e9cfd760be613f33a4135e9247729b64619cc6 (diff) |
build: add option to wipe/rebuild papi
Previously, the only option was to wipe/rebuild all the test dependencies.
Type: make
Change-Id: Ia95d6e800f67bef033dcf614dbfa249c3e43159d
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'docs/reference/github')
0 files changed, 0 insertions, 0 deletions