diff options
author | tradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2004-05-06 14:09:47 +0000 |
---|---|---|
committer | tradke <tradke@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2004-05-06 14:09:47 +0000 |
commit | 28989ff924ecec08722cf52a6cd66ff0428a3aa6 (patch) | |
tree | e091a0e9bb656e4af3c3f5e7561b4e4bcf76a994 /lib/make/configure.pl | |
parent | ac52b51d99043c7bd5cd26c5e3ee4341385efb1a (diff) |
Print a warning message if the user specified a configuration option at
compile time.
This closes PR Compiler/1669: "Should deal with inappropriate make command-line options".
git-svn-id: http://svn.cactuscode.org/flesh/trunk@3695 17b73243-c579-4c4c-a9d2-2d5706c11dac
Diffstat (limited to 'lib/make/configure.pl')
0 files changed, 0 insertions, 0 deletions