diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/config-gen | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/config-gen b/tools/config-gen index 72cefc9bc..b7ccadd0a 100755 --- a/tools/config-gen +++ b/tools/config-gen @@ -28,5 +28,9 @@ if [ -n "$CFLAGS" ]; then export CFLAGS fi +if [ ! -f ./configure ]; then + ./autogen.sh +fi + echo ./configure $opts |