diff options
Diffstat (limited to 'devel/swig/files/patch-Makefile.in')
| -rw-r--r-- | devel/swig/files/patch-Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/swig/files/patch-Makefile.in b/devel/swig/files/patch-Makefile.in new file mode 100644 index 000000000000..c62a5bf6bfee --- /dev/null +++ b/devel/swig/files/patch-Makefile.in @@ -0,0 +1,11 @@ +--- Makefile.in.orig 2024-10-20 16:16:08 UTC ++++ Makefile.in +@@ -13,7 +13,7 @@ datarootdir = @datarootdir@ + # Make options - override these to see more output + ##################################################################### + +-RUNPIPE = \>/dev/null ++RUNPIPE = \>/dev/null || true + FLAGS = -k -s + + ##################################################################### |