From 1af0bd848651c62cdf72eea9918f5d57402de838 Mon Sep 17 00:00:00 2001
From: Joel Rosdahl <joel@rosdahl.net>
Date: Fri, 26 Feb 2010 21:24:09 +0100
Subject: Portability: don't require GNU make

The part of Makefile.in that requires GNU make has been split into dev.mk.in,
and the configure script has learned a new --enable-dev option that makes
Makefile include dev.mk. The configure script doesn't check for GNU make
anymore. There is also a new configure-dev convenience script that runs
configure with --enable-dev.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index cb7d05c8..bcab83ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,4 +10,5 @@ config.h.in
 config.log
 config.status
 configure
+dev.mk
 testdir.*
-- 
cgit v1.2.1