gg

gg:master

Last commit made on 2022-05-25
Get this branch:
git clone -b master https://git.launchpad.net/gg

Branch merges

Branch information

Name:
master
Repository:
lp:gg

Recent commits

bd25311... by Sadjad Fouladi

run.sh: Concatenate final outputs at the end.

04063e5... by Sadjad Fouladi

README.md: Fix a typo.

1b830f5... by Sadjad Fouladi

generic.cc: Fix a bug with mixed positional and optional arguments (#45).

5518fb1... by Sadjad Fouladi

cli_description.cc: Add support for don't-care positional arguments.

994e737... by Sadjad Fouladi

gg-force.cc: Include the filename in targets even if it's a placeholder.

d34e132... by Sadjad Fouladi

gg-force.cc: Don't try to reduce if there's nothing to force.

d2138a8... by Sadjad Fouladi

gg-force.cc: Fix a bug where some of the inputs are not thunks.

f51de8f... by Sadjad Fouladi

thunk.proto: Use a repeated field instead of map for storing links.

To preserve order.

62579e1... by Sadjad Fouladi

gg-force.cc: Allow reading the targets from a file.

50dc4e7... by Sadjad Fouladi

reductor.cc: Use the base hash for check for remaining targets.