common/autoconf/basics.m4
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