STYLE: echo more information about boost header/lib

- improve some other feedback information
2025-12-08 06:57:50 +00:00 · 2016-07-12 22:03:24 +02:00
parent b351eff392
commit 34023f31b8
9 changed files with 46 additions and 30 deletions
--- a/2
+++ b/2
@ -81,7 +81,7 @@ options:
      $gmpPACKAGE
      $mpfrPACKAGE
      $mpcPACKAGE
-      $gccPACKAGE
+      ${gccPACKAGE:-'unspecified GCC version'}

 USAGE
    exit 1