chiark / gitweb /
if user specifies OCT_INSTALL_DIR, make M_INSTALL_DIR (if unspecified) default to...
authorstevenj <stevenj@alum.mit.edu>
Fri, 9 Jul 2010 16:34:03 +0000 (12:34 -0400)
committerstevenj <stevenj@alum.mit.edu>
Fri, 9 Jul 2010 16:34:03 +0000 (12:34 -0400)
commitc903fe3839d4168dc7f170b14e2d7dc51ffd0aa9
tree2ad47952bc41eba5ccaa9f8a73f17330a0d31aae
parentebb00b7aac5eebe2bf66e93fe9ff4dd4c8f7b3c4
if user specifies OCT_INSTALL_DIR, make M_INSTALL_DIR (if unspecified) default to the same directory

darcs-hash:20100709163403-c8de0-5a5f3e0c9f02e3f9995138880a3d74883f96896d.gz
configure.ac