diff options
| author | davidovski <david@davidovski.xyz> | 2022-06-06 21:25:48 +0000 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2022-06-06 21:25:48 +0000 |
| commit | ccc722b7ed330198d82a3cf28ead76d6d107a70a (patch) | |
| tree | 7611b3cc4f3ca681524fa28b174a0253eb802e0e /repo/zeromq/test-driver.patch | |
| parent | 9ee32689f0b57b9e1de6d22c84ce8e3700b6122b (diff) | |
added java
Diffstat (limited to 'repo/zeromq/test-driver.patch')
| -rw-r--r-- | repo/zeromq/test-driver.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/repo/zeromq/test-driver.patch b/repo/zeromq/test-driver.patch new file mode 100644 index 0000000..f8b7fe3 --- /dev/null +++ b/repo/zeromq/test-driver.patch @@ -0,0 +1,11 @@ +--- a/config/test-driver ++++ b/config/test-driver +@@ -104,7 +104,7 @@ + trap "st=143; $do_exit" 15 + + # Test script is run here. +-"$@" >$log_file 2>&1 ++: "$@" >$log_file 2>&1 + estatus=$? + if test $enable_hard_errors = no && test $estatus -eq 99; then + estatus=1 |