diff options
| -rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure index faaed60540..ae97e11a97 100755 --- a/configure +++ b/configure @@ -494,6 +494,8 @@ for opt do case "$opt" in --help|-h) show_help=yes ;; + --version|-V) exec cat $source_path/VERSION + ;; --prefix=*) prefix="$optarg" ;; --interp-prefix=*) interp_prefix="$optarg" |