Stefan Fiedler:

17 years ago · 8a6a56d108
1 changed files with 0 additions and 9 deletions
--- a/package/public/dejagnu/dejagnu.conf
+++ b/package/public/dejagnu/dejagnu.conf
@ -1,9 +0,0 @@
 custmain()
 {
 	./configure --prefix=$tools

 	make install

 	# make check
 }
 custmain=custmain