GNUMakefile: The previous patch doesn't work with g++.

https://stackoverflow.com/questions/19774778/when-is-it-necessary-to-use-use-the-flag-stdlib-libstdc

diff --git a/GNUmakefile b/GNUmakefile
index 6f7c1e7e1324a752b0728c62fa0e5f74d6b24ceb..753fb05c103efb65c5103ce2c2fe703a8332a5e5 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -12,7 +12,7 @@ ifdef CONFIG
                -DFACTOR_GIT_LABEL="$(GIT_LABEL)" \
                $(SITE_CFLAGS)
 
-       CXXFLAGS += -std=c++11 -stdlib=libc++
+       CXXFLAGS += -std=c++11
 
        ifdef DEBUG
                CFLAGS += -g -DFACTOR_DEBUG