bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #38442] Field 'name' not cached


From: Paul D. Smith
Subject: [bug #38442] Field 'name' not cached
Date: Sat, 06 Apr 2013 13:41:42 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.22 (KHTML, like Gecko) Chrome/25.0.1364.172 Safari/537.22

Update of bug #38442 (project make):

           Triage Status:                    None => Need Info              

    _______________________________________________________

Follow-up Comment #2:

I am not able to reproduce this with the current latest version from Git:


$ touch foo.vhd
$ make
mkdir -p module_timestamps
cd module_timestamps && touch foo && ar rv lib foo && rm foo
ar: creating lib
a - foo
$ make
make: Nothing to be done for `default'.



    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?38442>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

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