blob: c62a5bf6bfee3c791152a7ec3be14db0d4ff2eae (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
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
#####################################################################
|
