changeset 32715 | 4d558a41a1ec |
parent 31123 | 2c85f4a793d1 |
child 32716 | d3203fd9e447 |
--- a/common/autoconf/basics.m4 Wed Jul 05 20:50:41 2017 +0200 +++ b/common/autoconf/basics.m4 Mon Sep 21 09:32:07 2015 +0200 @@ -935,6 +935,7 @@ BASIC_PATH_PROGS(HG, hg) BASIC_PATH_PROGS(STAT, stat) BASIC_PATH_PROGS(TIME, time) + BASIC_PATH_PROGS(PATCH, [gpatch patch]) # Check if it's GNU time IS_GNU_TIME=`$TIME --version 2>&1 | $GREP 'GNU time'` if test "x$IS_GNU_TIME" != x; then