output configure options when looking at --version

diff --git a/gtk/xboard.c b/gtk/xboard.c
index cf1b4e0..33aa548 100644 (file)
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -727,7 +727,7 @@ main (int argc, char **argv)
     debugFP = stderr;
 
     if(argc > 1 && (!strcmp(argv[1], "-v" ) || !strcmp(argv[1], "--version" ))) {
-       printf("%s version %s\n", PACKAGE_NAME, PACKAGE_VERSION);
+        printf("%s version %s\n\n  configure options: %s\n", PACKAGE_NAME, PACKAGE_VERSION, CONFIGURE_OPTIONS);
        exit(0);
     }
 

diff --git a/xaw/xboard.c b/xaw/xboard.c
index 4b4d864..b59b961 100644 (file)
--- a/xaw/xboard.c
+++ b/xaw/xboard.c
@@ -1107,7 +1107,7 @@ main (int argc, char **argv)
     debugFP = stderr;
 
     if(argc > 1 && (!strcmp(argv[1], "-v" ) || !strcmp(argv[1], "--version" ))) {
-       printf("%s version %s\n", PACKAGE_NAME, PACKAGE_VERSION);
+      printf("%s version %s\n\n  configure options: %s\n", PACKAGE_NAME, PACKAGE_VERSION, CONFIGURE_OPTIONS);
        exit(0);
     }