Hi, Matthias, have you tried... : hello.txt |> cmd /C copy %f %o |> copy.txt
On Tue, Jul 21, 2015 at 9:42 AM, <[email protected]> wrote: > Hi! > > The following simple Tupfile fails here: > > : |> echo Hello > %o |> hello.txt > : hello.txt |> copy %f %o |> copy.txt > > The output is > > [ tup ] [0.105s] Executing Commands... > 1) [0.100s] echo Hello > hello.txt > [ ] 50%tup error: failed to create child process: No such file or > directory > *** Command ID=33 failed: copy hello.txt copy.txt > [ ] 50% > *** tup: 1 job failed. > > I'm running tup v0.7.3-18-g8e63ea4 (from > http://gittup.org/tup/win32/tup-latest.zip) under Windows 7 64bit. > > Perhaps this version is missing the required Win64 support (from 8131823)? > At the moment I don't have the option to build tup on a Windows machine, so > I can't test that by myself. > > Regards, > Matthias > > -- > -- > 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. > > Diese Mail wurde aus Datenschutzgründen verschlüsselt versandt. > > -- > -- > 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.
