help-make
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]