Menu

Commit [r8374]  Maximize  Restore  History

rm config.status before each run of configure. config.status causes undesirable caching in multiplatform installs

kifer 2015-05-23

changed /trunk/XSB/build/configure
changed /trunk/XSB/build/configure.in
/trunk/XSB/build/configure Diff Switch to side-by-side view
Loading...
/trunk/XSB/build/configure.in Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB