From 209bae502a2255aece67625641617335a911f211 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 28 Dec 2011 22:23:08 +0100 Subject: maint: remove now-unused/obsolete files * README.DOS: Remove file. * m4/djgpp.m4: Likewise. * .gitignore: Remove reference to m4/djgpp.m4. --- m4/djgpp.m4 | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 m4/djgpp.m4 (limited to 'm4') diff --git a/m4/djgpp.m4 b/m4/djgpp.m4 deleted file mode 100644 index 03794523..00000000 --- a/m4/djgpp.m4 +++ /dev/null @@ -1,9 +0,0 @@ -dnl Check for DJGPP. we use DJ_GPP as the variable -dnl EXEEXXT -AC_DEFUN([AC_DJGPP], -[AC_CACHE_CHECK(for DJGPP environment, ac_cv_djgpp, -[AC_TRY_COMPILE(,[ return __DJGPP__;], -ac_cv_djgpp=yes, ac_cv_djgpp=no) -rm -f conftest*]) -DJ_GPP= -test "$ac_cv_djgpp" = yes && DJ_GPP=yes]) -- cgit v1.2.1