annotate modules/javaexec-script @ 16364:89227b989588

fatal-signal: use C prototypes (with explicit void). * lib/fatal-signal.c (uninstall_handlers, install_handlers) (init_fatal_signal_set, block_fatal_signals): Fix signatures.
author Akim Demaille <demaille@gostai.com>
date Wed, 08 Feb 2012 10:36:20 +0100
parents 1c6d7f8aff91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7886
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
1 Description:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
2 Execute a Java program.
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
3
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
4 Files:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
5 build-aux/javaexec.sh.in
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
6 m4/javaexec.m4
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
7
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
8 Depends-on:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
9
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
10 configure.ac:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
11 # You need to invoke gt_JAVAEXEC yourself, possibly with arguments.
7895
1c6d7f8aff91 revert unwanted commit
Paolo Bonzini <bonzini@gnu.org>
parents: 7894
diff changeset
12 AC_CONFIG_FILES([javaexec.sh:build-aux/javaexec.sh.in])
7886
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
13
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
14 Makefile.am:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
15
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
16 Include:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
17
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
18 License:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
19 GPLed build tool
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
20
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
21 Maintainer:
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
22 Bruno Haible
76f9d13945cd 2007-01-16 Paolo Bonzini <bonzini@gnu.org>
Paolo Bonzini <bonzini@gnu.org>
parents:
diff changeset
23