You could try appending the logfile to a hidden file, then removing it. Something like this: "build-tool ... && cat logfile >> .logfile && rm -f logfile". Of course, if your log file initially exists, you have to move it beforehand or tup will complain when your command removes it. Cheers, Simon Am Sonntag, den 16.08.2015, 06:07 -0400 schrieb Wayne Scott: > I can't make it an output because it appends to the file. > Deleting the logfile seems possible, but rather unappealing. > > On Sun, Aug 16, 2015 at 3:44 AM, Freddie Chopin < > [email protected]> wrote: > > On Saturday 15 of August 2015 06:55:08 WayneS wrote: > > > So one of the tools in my build environment writes a logfile. I > > can't turn > > > off the logfile and it doesn't happen to be in a .hidden > > directory. > > > Since tup doesn't allow me to ignore certain dependencies that > > are detected > > > I can't use it. > > > Am I missing something? > > > > Can't you specify this file as output? You could also try to use > > "combined" > > command like "build-tool ... && rm -rf logfile.log". > > > > Regards, > > FCh > > > > -- > > -- > > tup-users mailing list > > email: [email protected] > > unsubscribe: [email protected] > > options: http://groups.google.com/group/tup-users?hl=en > > --- > > You received this message because you are subscribed to a topic in > > the Google Groups "tup-users" group. > > To unsubscribe from this topic, visit > > https://groups.google.com/d/topic/tup-users/wAHJv1yWROs/unsubscribe > > . > > To unsubscribe from this group and all its topics, send an email > > [email protected]. > > For more options, visit https://groups.google.com/d/optout. > > > -- > -- > tup-users mailing list > email: [email protected] > unsubscribe: [email protected] > options: http://groups.google.com/group/tup-users?hl=en > --- > You received this message because you are subscribed to the Google > Groups "tup-users" group. > To unsubscribe from this group and stop receiving emails from it, > send an email to [email protected]. > For more options, visit https://groups.google.com/d/optout.
-- -- tup-users mailing list email: [email protected] unsubscribe: [email protected] options: http://groups.google.com/group/tup-users?hl=en --- You received this message because you are subscribed to the Google Groups "tup-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
