7 Jun
2010
7 Jun
'10
9:32 a.m.
On Sun, Jun 6, 2010 at 4:31 PM, Stefan Manegold
ps: about http://dbappl.cs.utwente.nl/pftijah/Documentation/ForDevelopers modifying the pftijah.mx file and then do a 'make install' does not change the pftijah.mil file.
Did you modify a @mil section in pftijah.mx?
Do you build from a hg clone (or CVS checkout) or from a source tarball?
Stefan
It is line 4994, but I am not sure whether it is a @mil section. I did a CVS checkout. I am still using the aug 2009 version. junte