From 8a6a56d1085c3fc96ffa97c5f991ee00ebaf8c17 Mon Sep 17 00:00:00 2001 From: Stefan Fiedler Date: Tue, 2 Oct 2007 13:43:08 +0000 Subject: [PATCH] Stefan Fiedler: dejagnu: remove unneeded .conf file [2007091315124631182] (https://www.rocklinux.net/submaster) git-svn-id: http://www.rocklinux.org/svn/rock-linux/trunk@8712 c5f82cb5-29bc-0310-9cd0-bff59a50e3bc --- package/public/dejagnu/dejagnu.conf | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 package/public/dejagnu/dejagnu.conf diff --git a/package/public/dejagnu/dejagnu.conf b/package/public/dejagnu/dejagnu.conf deleted file mode 100644 index e6c517c24..000000000 --- a/package/public/dejagnu/dejagnu.conf +++ /dev/null @@ -1,9 +0,0 @@ -custmain() -{ - ./configure --prefix=$tools - - make install - - # make check -} -custmain=custmain