# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1149243200 0
# Node ID 1f33ca9aff72374d928921708a15d0ca5b6a837b
# Parent  b1bc5d576c4ca8bec698fbcd9772d3246f8de59b
Add Make 3.81 to the list of Make & shell combinations known to work.

diff -r b1bc5d576c4c -r 1f33ca9aff72 nt/INSTALL
--- a/nt/INSTALL	Fri Jun 02 09:48:28 2006 +0000
+++ b/nt/INSTALL	Fri Jun 02 10:13:20 2006 +0000
@@ -127,6 +127,7 @@
     cygwin compiled make 3.79.1:         fails[3, 5]   fails[2?, 5]
     mingw32 compiled make 3.79.1:        okay          okay
     mingw32 compiled make 3.80:          okay          unknown[6]
+    mingw32 compiled make 3.81:          okay          okay[7]
 
   Notes: