diff options
-rw-r--r-- | onbld/debian/patches/no-install.patch | 15 | ||||
-rw-r--r-- | onbld/debian/patches/series | 1 |
2 files changed, 16 insertions, 0 deletions
diff --git a/onbld/debian/patches/no-install.patch b/onbld/debian/patches/no-install.patch new file mode 100644 index 0000000..90f2d9e --- /dev/null +++ b/onbld/debian/patches/no-install.patch @@ -0,0 +1,15 @@ +Description: Do not build "install" + We use "install" from GNU coreutils, + and it is not compatible with this "install" +Index: onbld/illumos-gate/usr/src/tools/Makefile +=================================================================== +--- onbld.orig/illumos-gate/usr/src/tools/Makefile 2012-07-04 14:47:06.852293039 +0000 ++++ onbld/illumos-gate/usr/src/tools/Makefile 2012-07-04 14:55:31.315526378 +0000 +@@ -42,7 +42,6 @@ + ndrgen \ + pmodes \ + gk \ +- install.bin \ + lintdump \ + protocmp \ + protolist \ diff --git a/onbld/debian/patches/series b/onbld/debian/patches/series index 987fa7d..dc42cda 100644 --- a/onbld/debian/patches/series +++ b/onbld/debian/patches/series @@ -5,3 +5,4 @@ use-system-libdwarf.patch gnu-ld.patch ndrgen.bison.patch no-python.patch +no-install.patch |