Subject: CVS commit: wip/fricas
From: Aleksej Saushev
Date: 2008-02-03 12:12:37
Message id: E1JLcmK-0007Vl-BL@sc8-pr-cvs1.sourceforge.net
Log Message:
Do not set USE_DESTDIR, as it breaks bulk build. Noted by Tobias Nygren.
Files:
RevisionActionfile
0modifywip/fricas/Makefile