Hi,
 
ok this works. Its a little bit weird ;) Thank you!
 
Regards
 
tobias

Am Montag, 2. März 2015 18:04:11 UTC+1 schrieb Rendaw:

>
>
> On 03/03/2015 12:46 AM, [email protected] <javascript:> wrote:
>
>  Hi,
>  
> my tupfile:
>  
> : hello.c |> xcopy > hello.o |> hello.o
>  
> tup only runs once and generates the hello.o. The next run tup tells me 
> nothing has changed. Thats ok.
>  
> If I change the hello.c and run "tup" again it still says nothing to do. 
> Why does tup not recognize that my hello.c file has changed? I changed file 
> contents with eclipse. If I delete the hello.o, tup rebuilds and says it 
> was deleted from outside...
>
> Tup uses the "inputs section" (hello.c) as a reference but not as the 
> actual set of inputs - if the files in the inputs section aren't read when 
> the command runs they will be dropped as a dependency.  If you add "cat 
> hello.c" or something to the command it should rebuild when hello.c changes.
>
> I think the reasoning is, by dropping dependencies like this, you can 
> overspecify inputs and get safe behavior with a simpler definition.  I've 
> relied on the behavior myself I think, but it does seem odd if you don't 
> have the use case yourself.
>
>   
> Does anybody has the same issues?
>  
> Is tup not working with Windows 7 x64?
>  
> Regards,
>  
> Tobias
> -- 
> -- 
> tup-users mailing list
> email: [email protected] <javascript:>
> unsubscribe: [email protected] <javascript:>
> 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] <javascript:>.
> 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.

Reply via email to