diff options
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 68e77d7..9c57a46 100755 --- a/debian/rules +++ b/debian/rules @@ -10,6 +10,7 @@ include /usr/share/dpkg/buildtools.mk include /usr/share/dpkg/buildflags.mk include /usr/share/dpkg/pkg-info.mk include /usr/share/dpkg/vendor.mk +DEB_VENDOR=progress-linux V := $(if $(filter terse, ${DEB_BUILD_OPTIONS}),,1) WAF := PYTHONHASHSEED=1 ./buildtools/bin/waf \ $(patsubst parallel=%,-j%,$(filter parallel=%,${DEB_BUILD_OPTIONS})) |