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)
* src/generator.ml: Emit RESOLVE_DEVICE (device, goto done);
just before each Device-enabled do_$FUNCTION.


No differences found