[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:            
 "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]