diff options
Diffstat (limited to 'meson_options.txt')
| -rw-r--r-- | meson_options.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt index c7ea57994dc..2c871969f52 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -172,6 +172,9 @@ option('PYTHON', type : 'array', value: ['python3', 'python'], option('SED', type : 'string', value: 'gsed', description: 'path to sed binary') +option('STRIP', type : 'string', value: 'strip', + description: 'path to strip binary, used for PGXS emulation') + option('TAR', type : 'string', value: 'tar', description: 'path to tar binary') |