diff options
Diffstat (limited to 'tools/gator/debian/rules')
| -rwxr-xr-x | tools/gator/debian/rules | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/tools/gator/debian/rules b/tools/gator/debian/rules deleted file mode 100755 index c747748ff83..00000000000 --- a/tools/gator/debian/rules +++ /dev/null @@ -1,15 +0,0 @@ -#!/usr/bin/make -f - -DEB_HOST_GNU_TYPE = $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE) -DEB_BUILD_GNU_TYPE = $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE) - -ifneq ($(DEB_BUILD_GNU_TYPE),$(DEB_HOST_GNU_TYPE)) - CROSS_COMPILE ?= $(DEB_HOST_GNU_TYPE)- -endif - -export CROSS_COMPILE - -export DH_OPTIONS - -%: - dh $@ |