[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to determine make configure options
From: |
Paul D. Smith |
Subject: |
Re: How to determine make configure options |
Date: |
Thu, 18 Oct 2001 13:22:24 -0400 |
%% "Zartaj T. Majeed" <address@hidden> writes:
ztm> Is there a way to determine what configure options were used to
ztm> build a given GNU make 3.79.1 binary? In particular, I'd like to
ztm> know if --disable-nsec-timestamps was used or not. If there's no
ztm> make option that provides this info, can I use nm to look for
ztm> symbol or some other tool to examine the binary?
I don't know of any (portable) way to find this out, actually.
You might try running make with -d; some of the messages it prints when
it decides whether a file is out of date or not will contain fractional
seconds if it was compiled with support for subsecond timestamps, and
just simple integer sections if it wasn't.
--
-------------------------------------------------------------------------------
Paul D. Smith <address@hidden> Find some GNU make tips at:
http://www.gnu.org http://www.paulandlesley.org/gmake/
"Please remain calm...I may be mad, but I am a professional." --Mad Scientist