use GNU make on sauna, which is the primary development environment

diff --git a/distdir/autodist.conf b/distdir/autodist.conf
index 8a279ae8c746a3a4a1aaab74efd70451c2023bcb..22cc82ba5fb2f7d36b8724ec16791975255ef021 100644 (file)
--- a/distdir/autodist.conf
+++ b/distdir/autodist.conf
@@ -46,4 +46,4 @@ LIBTOOLIZE="libtoolize --automake --copy"
 # Location of the make program.  This must be specified in order to be 
 # able to create distributions.
 #
-MAKE="make"
+MAKE="gmake"