diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 0df0242..9e0c21e 100755 --- a/debian/rules +++ b/debian/rules @@ -12,7 +12,7 @@ pkg_dev := gnumach-dev DEB_BUILD_GNU_TYPE := $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE) DEB_HOST_GNU_TYPE := $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE) -CFLAGS = -Wall -g -pipe +CFLAGS = -Wall -g -pipe -fno-strict-aliasing ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS))) CFLAGS += -O0 |