Home | History | Annotate | Download | only in bison

Lines Matching refs:patch

1122 apply the above patch\n'
1493 # a gnulib patch directory whose default name is gl/ (defined in bootstrap
1496 # patch to the original in $(gnulib_dir) and uses the temporary result to
1498 # gnulib patch directory via bootstrap.conf, this rule detects that name.
1511 patch "$(gnulib_dir)/$$b" "$$gl/$$diff" || exit 1; \