diff options
Diffstat (limited to 'src/stage2/patches/generic/flex.patch')
| -rw-r--r-- | src/stage2/patches/generic/flex.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/stage2/patches/generic/flex.patch b/src/stage2/patches/generic/flex.patch new file mode 100644 index 0000000..7b1f108 --- /dev/null +++ b/src/stage2/patches/generic/flex.patch @@ -0,0 +1,11 @@ +--- a/PKGBUILD 2018-02-20 13:29:54.681082977 +0100 ++++ b/PKGBUILD 2018-02-20 14:13:03.673184096 +0100 +@@ -17,7 +17,7 @@ md5sums=('2882e3179748cc9f9c23ec593d6adc + + build() { + cd "$pkgname-$pkgver" +- ./configure --prefix=/usr ++ ./configure --host=@CHOST@ --build=@BUILDHOST@ --disable-bootstrap --prefix=/usr + make + } + |