when typing make under tmp, configure options used to be set at "build" command line...
authorGengbin Zheng <gzheng@illinois.edu>
Tue, 13 Apr 2010 21:31:36 +0000 (16:31 -0500)
committerGengbin Zheng <gzheng@illinois.edu>
Tue, 13 Apr 2010 21:31:36 +0000 (16:31 -0500)
commitf030af57576c05b9c5b884a6d11e30403c17a1d6
treeb3b9c6c99d4945b8ede4e7d613ec467bac67e374
parent956ef0d8645c310d1cb84bb016291a5d7f716886
when typing make under tmp, configure options used to be set at "build" command line won't get used again.
According to the manual, ./config.status --config
is supposed to return the original configure command line options, however, it does not seem to work (may requires newer version of autoconf).
So right now, the configure options have to be stored in a file config_opts.sh, and is loaded when running configure in Makefile.
build
src/scripts/Makefile