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 12:06:37 +0000 (13:06 +0100)
commit74cd1b4a707f0e495f072476e9425b0218d2ab3e
tree905a2c47971dfd18e1e751116ddc3bdcf8334699
parent33e3c51421bfbd8526d127fef09d291971a6251c
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.8 branch.
.gitignore
fish/fish.h
generator/generator_fish.ml
generator/generator_main.ml