diff -r 56b7eab1391a -r 3fc114996b20 configure
--- a/configure	Thu Jun 02 19:49:36 2011 +0200
+++ b/configure	Sat Jun 04 17:15:58 2011 +0200
@@ -437,6 +437,14 @@
 has_or_abort lib="${stdcxx_libs}" \
              err="'libstdc++' shared library was not found"
 
+# Yes, we may be checking twice for libstdc++.a
+# The first is because we need one instance of libstdc++ (shared or static)
+# because it is needed for PPL; the second is because the static version is
+# required for static-linking, and if missing, the option is removed.
+has_or_warn  lib="libstdc++.a" \
+             err="static 'libstdc++' is needed to statically link the toolchain's executables" \
+             kconfig=has_static_libstdcxx
+
 #---------------------------------------------------------------------
 # Compute the version string