diff options
| author |   Marco Varlese <marco.varlese@suse.com> | 2017-11-29 16:13:04 +0100 |
|---|---|---|
| committer |   Damjan Marion <dmarion.lists@gmail.com> | 2017-11-30 08:48:49 +0000 |
| commit | aba730fc0dc54a804af27a826e730e2bea72183e (patch) | |
| tree | 021330a73359f286ba1408703841fd7a3f56d0c8 /src/vppinfra/pool.h | |
| parent | 837503cf66c432355b37db842ac5b0ee37c18085 (diff) | |
Cleanup and simplify
This patch addresses two things:
1) It simplifies the Makefile to build RPMs by removing duplication and
use environment variables instead;
2) It aligns openSUSE with others with regards to invoke "pkg-rpm" by
the build.sh for Vagrant
Change-Id: I51557f54e4ddf49d83bb69fa0035c8fff122857e
Signed-off-by: Marco Varlese <marco.varlese@suse.com>
Diffstat (limited to 'src/vppinfra/pool.h')
0 files changed, 0 insertions, 0 deletions