Debug commit - do not merge

Author: matthijskooijman

cpp/arduino/avr/pgmspace.h

@@ -19,6 +19,16 @@ out.each { |l| puts d(l) }
 #include <stdint.h>
 #include <stdarg.h>
 
+#if defined(__USE_MISC)
+#warning "__USE_MISC"
+#endif
+#if defined(__USE_XOPEN)
+#warning "__USE_XOPEN"
+#endif
+#if __GLIBC_USE (ISOC2X)
+#warning "ISOC2X"
+#endif
+
 #define PROGMEM
 
 #ifndef PGM_P

lib/arduino_ci/cpp_library.rb

@@ -324,7 +324,7 @@ def build_for_test_with_configuration(test_file, aux_libraries, gcc_binary, ci_g
       executable = Pathname.new("unittest_#{base}.bin").expand_path
       File.delete(executable) if File.exist?(executable)
       arg_sets = []
-      arg_sets << ["-std=c++0x", "-o", executable.to_s, "-DARDUINO=100"]
+      arg_sets << ["-std=c++0x", "-o", executable.to_s, "-DARDUINO=100", "-H"]
       if libasan?(gcc_binary)
         arg_sets << [ # Stuff to help with dynamic memory mishandling
           "-g", "-O1",