Generate extension.c with a script
commit2e25940669aef357f1aa3017775268f53a984093
authorCedric Bastoul <cedric.bastoul@u-psud.fr>
Tue, 31 May 2011 10:54:58 +0000 (31 12:54 +0200)
committerCedric Bastoul <cedric.bastoul@u-psud.fr>
Tue, 31 May 2011 10:54:58 +0000 (31 12:54 +0200)
treece6464b35bd93c686427bb07b0bcd071f67cb49b
parent90e2f0cc8f74b88ec87b6e716220223f6aab5aac
Generate extension.c with a script
configure.in
source/extension.c.in [moved from source/extension.c with 87% similarity]
source/extension.sh [new file with mode: 0755]