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:25:24 +0000 (12:25 +0100)
commit0dae3871c668951305d5ef298e3291cb73630eea
tree935ef5df78cd3661d6ff721acd71b88c39d92419
parente14573db4d83ab6f5491787cabc4ed18d5e3b69a
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)
.gitignore
fish/fish.h
generator/generator_fish.ml
generator/generator_main.ml