mirror of
https://github.com/nasa/trick.git
synced 2024-12-19 21:27:54 +00:00
1076 why path dumb (#1084)
* add --with-prepend-path option * do not add /usr/local/bin to path in autotools/autoconf configure script * --with-swig no longer modifies PATH closes #1076 closes #1083
This commit is contained in:
parent
abaa5855cb
commit
54f6db2d3f