update generator to emit each RESOLVE_DEVICE call
authorJim Meyering <meyering@redhat.com>
Mon, 10 Aug 2009 20:50:00 +0000 (22:50 +0200)
committerJim Meyering <meyering@redhat.com>
Thu, 13 Aug 2009 12:45:34 +0000 (14:45 +0200)
commit8601bbda56cdb2b8491b6e2054596ec9599c38f1
treee07c83e6f273dd2dbee264ae6db98de1e08c1e6a
parentfc266e5ab8c4f013d0e473029c5e0b4cd32cca92
update generator to emit each RESOLVE_DEVICE call

* src/generator.ml: Emit RESOLVE_DEVICE (device, goto done);
just before each Device-enabled do_$FUNCTION.
src/generator.ml