fish: Declare run_* functions in a generated header file.
authorRichard W.M. Jones <rjones@redhat.com>
Sun, 7 Aug 2011 20:04:00 +0000 (21:04 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 17 Aug 2011 11:31:38 +0000 (12:31 +0100)
commit2fb83cc8ed4c5879d1b29a56e993e749df439a78
tree217ddaaefa9aec3c12d4967324c0b7e4c06acf77
parent50e5821f467ac28d426f6964a592b1eb530ddbed
fish: Declare run_* functions in a generated header file.

Calls to these functions are generated, so there is no need to declare
the functions by hand.

Cherry picked from commit 3064277680ad11f887691646d0fa17bb35f38c19
and backported to stable-1.10 branch.
.gitignore
fish/fish.h
generator/generator_fish.ml
generator/generator_main.ml