('binary' encoding is not supported, stored as-is)
('binary' encoding is not supported, stored as-is)
Begin Alliance bug report 1.4
-------------------------------------------------------------------
Posted on : 2001/10/30 12:44:15
by : pinto@asim.lip6.fr
subject : BUG Tool: genpat dans un makefile
version : Alliance 4.5.0
-------------------------------------------------------------------
Problem description :
---------------------
genpat dans un makefile
quand on lance genpat depuis un makefile il semble que celui ci
termine par une erreur ce qui a pour resultat de stopper le makefile
alors que genpat a bien compiler.
How to reproduce the bug :
--------------------------
End Alliance bug report 1.4