*** Makefile.in.orig Wed May 21 14:06:17 2014 --- Makefile.in Wed May 21 15:04:34 2014 *************** *** 156,162 **** mv gc-7.2 gc-7.2d; \ fi cd $(GC) && \ ! ./configure $(GCOPTIONS); \ $(MAKE) check $(GCPPLIB): $(GCLIB) --- 156,162 ---- mv gc-7.2 gc-7.2d; \ fi cd $(GC) && \ ! ./configure $(GCOPTIONS) CC="$(CC)" CFLAGS="$(CFLAGS)" CXX="$(CXX)" CXXFLAGS="$(CXXFLAGS)"; \ $(MAKE) check $(GCPPLIB): $(GCLIB)