diff options
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index f4e4c28..bc8e07d 100755 --- a/debian/rules +++ b/debian/rules @@ -83,6 +83,7 @@ build/config.status: configure -mkdir build cd build && PACKAGE_VERSION_SUFFIX=-686 ../configure $(drivers) \ CFLAGS="$(CFLAGS)" \ + --disable-assert \ $(common_configure) build-xen/config.status: configure @@ -91,6 +92,7 @@ build-xen/config.status: configure -mkdir build-xen cd build-xen && PACKAGE_VERSION_SUFFIX=-xen-686 ../configure \ CFLAGS="$(CFLAGS)" \ + --disable-assert \ $(common_configure) \ --enable-platform=xen |